close
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
fix: statement of eqRec_heq_iff Label PR based on Comment #25334: Issue comment #13484 (comment) created by leanprover-bot
1s
1s
fix: statement of eqRec_heq_iff Check awaiting-manual label #19582: Pull request #13484 labeled by leanprover-bot
7s
7s
fix: statement of eqRec_heq_iff Check awaiting-mathlib label #27252: Pull request #13484 labeled by leanprover-bot
9s
9s
fix: statement of eqRec_heq_iff Restart by label #10710: Pull request #13484 labeled by leanprover-bot
1s
1s
fix: statement of eqRec_heq_iff Check stdlib_flags.h modifications #7080: Pull request #13484 labeled by leanprover-bot
8s
8s
fix: statement of eqRec_heq_iff Check PR body for changelog convention #39681: Pull request #13484 labeled by leanprover-bot
9s
9s
fix: statement of eqRec_heq_iff Backport #19065: Pull request #13484 labeled by leanprover-bot
2s
2s
PR release PR release #47277: completed by algebraic-dev
1s
1s
Grove Grove #18767: completed by algebraic-dev
15s
15s
feat: introduce HTTP/1.1 server Backport #19064: Pull request #12151 closed by algebraic-dev
8s
8s
feat: introduce HTTP/1.1 server (#12151) CI #56146: Commit a0b2e1f pushed by github-merge-queue bot
In progress master
master
In progress
feat: introduce HTTP/1.1 server (#12151) Update stage0 #7990: Commit a0b2e1f pushed by github-merge-queue bot
1m 9s master
master
1m 9s
Grove Grove #18766: completed by Rob23oba
17s
17s
PR release PR release #47276: completed by Rob23oba
14m 46s
14m 46s
fix: statement of eqRec_heq_iff Check PR body for changelog convention #39680: Pull request #13484 edited by Rob23oba
7s
7s
fix: statement of eqRec_heq_iff Check PR title for commit convention #41450: Pull request #13484 edited by Rob23oba
8s Rob23oba:eq-rec-heq-fix
Rob23oba:eq-rec-heq-fix
8s
fix: statement of eqRec_heq_iff Check PR body for changelog convention #39679: Pull request #13484 ready_for_review by Rob23oba
7s
7s
Check awaiting-mathlib label Check awaiting-mathlib label #27251: Merge group checks requested
7s
7s
Check PR title for commit convention Check PR title for commit convention #41449: Merge group checks requested
7s
7s
CI CI #56145: Merge group checks requested
29m 23s
29m 23s
Check PR body for changelog convention Check PR body for changelog convention #39678: Merge group checks requested
6s
6s
Check for empty PR Check for empty PR #1325: Merge group checks requested
1m 9s
1m 9s
Check for stage0 changes Check for stage0 changes #32067: Merge group checks requested
1m 14s
1m 14s
Actionlint Actionlint #9467: Merge group checks requested
1m 14s
1m 14s
Check awaiting-manual label Check awaiting-manual label #19581: Merge group checks requested
8s
8s