Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196,547 workflow runs
196,547 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #685: Scheduled
August 2, 2025 02:13 15s master
master
August 2, 2025 02:13 15s
PR release PR release #31000: completed by github-merge-queue bot
August 2, 2025 00:57 1s
August 2, 2025 00:57 1s
Grove Grove #2490: completed by github-merge-queue bot
August 2, 2025 00:57 3m 3s
August 2, 2025 00:57 3m 3s
PR release PR release #30999: completed by leodemoura
August 2, 2025 00:13 14s
August 2, 2025 00:13 14s
Grove Grove #2489: completed by leodemoura
August 2, 2025 00:13 12s
August 2, 2025 00:13 12s
fix: nonstandard Nat and Int instances Backport #12087: Pull request #9676 closed by leodemoura
August 2, 2025 00:08 8s
August 2, 2025 00:08 8s
fix: nonstandard Nat and Int instances (#9676) CI #40169: Commit f6e19f1 pushed by github-merge-queue bot
August 2, 2025 00:08 49m 4s master
master
August 2, 2025 00:08 49m 4s
fix: nonstandard Nat and Int instances (#9676) Update stage0 #5094: Commit f6e19f1 pushed by github-merge-queue bot
August 2, 2025 00:08 26s master
master
August 2, 2025 00:08 26s
PR release PR release #30998: completed by leodemoura
August 2, 2025 00:08 1s
August 2, 2025 00:08 1s
Grove Grove #2488: completed by leodemoura
August 2, 2025 00:08 14s
August 2, 2025 00:08 14s
CI CI #40168: Merge group checks requested
August 1, 2025 23:49 18m 52s
August 1, 2025 23:49 18m 52s
Check awaiting-manual label Check awaiting-manual label #2245: Merge group checks requested
August 1, 2025 23:49 8s
August 1, 2025 23:49 8s
Check PR title for commit convention Check PR title for commit convention #26238: Merge group checks requested
August 1, 2025 23:49 5s
August 1, 2025 23:49 5s
Check for stage0 changes Check for stage0 changes #19234: Merge group checks requested
August 1, 2025 23:49 28s
August 1, 2025 23:49 28s
Actionlint Actionlint #6163: Merge group checks requested
August 1, 2025 23:49 31s
August 1, 2025 23:49 31s
Check PR body for changelog convention Check PR body for changelog convention #19523: Merge group checks requested
August 1, 2025 23:49 8s
August 1, 2025 23:49 8s
Check awaiting-mathlib label Check awaiting-mathlib label #9914: Merge group checks requested
August 1, 2025 23:49 8s
August 1, 2025 23:49 8s
Grove Grove #2487: completed by github-merge-queue bot
August 1, 2025 23:40 3m 12s
August 1, 2025 23:40 3m 12s
PR release PR release #30997: completed by github-merge-queue bot
August 1, 2025 23:40 1s
August 1, 2025 23:40 1s
fix: nonstandard Nat and Int instances Check awaiting-manual label #2244: Pull request #9676 labeled by leodemoura
August 1, 2025 23:36 5s grind_canon_arith
grind_canon_arith
August 1, 2025 23:36 5s
fix: nonstandard Nat and Int instances Check PR body for changelog convention #19522: Pull request #9676 labeled by leodemoura
August 1, 2025 23:36 5s grind_canon_arith
grind_canon_arith
August 1, 2025 23:36 5s
fix: nonstandard Nat and Int instances Check awaiting-mathlib label #9913: Pull request #9676 labeled by leodemoura
August 1, 2025 23:36 6s grind_canon_arith
grind_canon_arith
August 1, 2025 23:36 6s
fix: nonstandard Nat and Int instances CI #40167: Pull request #9676 opened by leodemoura
August 1, 2025 23:36 36m 36s grind_canon_arith
grind_canon_arith
August 1, 2025 23:36 36m 36s
fix: nonstandard Nat and Int instances Check for stage0 changes #19233: Pull request #9676 opened by leodemoura
August 1, 2025 23:36 34s grind_canon_arith
grind_canon_arith
August 1, 2025 23:36 34s
fix: nonstandard Nat and Int instances Check awaiting-manual label #2243: Pull request #9676 opened by leodemoura
August 1, 2025 23:36 6s grind_canon_arith
grind_canon_arith
August 1, 2025 23:36 6s