Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
No progress indicator for a long time when downloading a project in VSCode Label PR based on Comment #26581: Issue comment #5615 (comment) created by tydeu
1s
1s
No progress indicator for a long time when downloading a project in VSCode Jira sync #1112: Issue #5615 closed by tydeu
8s
8s
Label stale PRs Label stale PRs #986: Scheduled
21s master
master
21s
Grove Grove #20470: completed by github-merge-queue Bot
44s
44s
PR release PR release #48980: completed by github-merge-queue Bot
1s
1s
feat: improve processLevel at Sym/Pattern.lean Label PR based on Comment #26580: Issue comment #13896 (comment) created by leanprover-bot
1s
1s
feat: improve processLevel at Sym/Pattern.lean Label PR based on Comment #26579: Issue comment #13896 (comment) created by mathlib-lean-pr-testing Bot
1s
1s
Grove Grove #20469: completed by leodemoura
15s
15s
PR release PR release #48979: completed by leodemoura
1s
1s
feat: improve processLevel at Sym/Pattern.lean Backport #19869: Pull request #13896 closed by leodemoura
4s
4s
feat: improve processLevel at Sym/Pattern.lean (#13896) CI #57733: Commit 1744bf5 pushed by github-merge-queue Bot
33m 23s master
master
33m 23s
feat: improve processLevel at Sym/Pattern.lean (#13896) Update stage0 #8236: Commit 1744bf5 pushed by github-merge-queue Bot
31s master
master
31s
Grove Grove #20468: completed by leodemoura
16s
16s
PR release PR release #48978: completed by leodemoura
17m 25s
17m 25s
CI CI #57732: Merge group checks requested
31m 17s
31m 17s
Check for empty PR Check for empty PR #2631: Merge group checks requested
30s
30s
Check PR body for changelog convention Check PR body for changelog convention #41974: Merge group checks requested
6s
6s
Check awaiting-manual label Check awaiting-manual label #21551: Merge group checks requested
7s
7s
Check awaiting-mathlib label Check awaiting-mathlib label #29221: Merge group checks requested
6s
6s
Check PR title for commit convention Check PR title for commit convention #43060: Merge group checks requested
9s
9s
Actionlint Actionlint #9871: Merge group checks requested
31s
31s
Check for stage0 changes Check for stage0 changes #33373: Merge group checks requested
46s
46s
feat: improve processLevel at Sym/Pattern.lean CI #57731: Pull request #13896 opened by leodemoura
29m 1s sym_apply_issue
sym_apply_issue
29m 1s
feat: improve processLevel at Sym/Pattern.lean Check for stage0 changes #33372: Pull request #13896 opened by leodemoura
30s sym_apply_issue
sym_apply_issue
30s
feat: improve processLevel at Sym/Pattern.lean Check PR title for commit convention #43059: Pull request #13896 opened by leodemoura
5s sym_apply_issue
sym_apply_issue
5s