Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
188,096 workflow runs
188,096 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Grove Grove #1217: completed by Kha
July 12, 2025 09:14 17s
July 12, 2025 09:14 17s
PR release PR release #29727: completed by Kha
July 12, 2025 09:14 1s
July 12, 2025 09:14 1s
lake exe doesn't actually execute the executable Label PR based on Comment #14592: Issue comment #9327 (comment) created by TwoFX
July 12, 2025 08:05 1s
July 12, 2025 08:05 1s
CI CI #38911: Scheduled
July 12, 2025 07:05 2h 8m 34s master
master
July 12, 2025 07:05 2h 8m 34s
PR release PR release #29726: completed by github-merge-queue bot
July 12, 2025 03:52 1s
July 12, 2025 03:52 1s
Grove Grove #1216: completed by github-merge-queue bot
July 12, 2025 03:52 10s
July 12, 2025 03:52 10s
perf: propagateEqUp Backport #11554: Pull request #9326 closed by leodemoura
July 12, 2025 03:29 5s
July 12, 2025 03:29 5s
perf: propagateEqUp (#9326) CI #38910: Commit ae2a9b4 pushed by github-merge-queue bot
July 12, 2025 03:29 22m 40s master
master
July 12, 2025 03:29 22m 40s
perf: propagateEqUp (#9326) Update stage0 #4822: Commit ae2a9b4 pushed by github-merge-queue bot
July 12, 2025 03:29 34s master
master
July 12, 2025 03:29 34s
Grove Grove #1215: completed by leodemoura
July 12, 2025 03:29 10s
July 12, 2025 03:29 10s
PR release PR release #29725: completed by leodemoura
July 12, 2025 03:29 1s
July 12, 2025 03:29 1s
perf: propagateEqUp Label PR based on Comment #14591: Issue comment #9326 (comment) created by leanprover-bot
July 12, 2025 03:20 1s
July 12, 2025 03:20 1s
perf: propagateEqUp Label PR based on Comment #14590: Issue comment #9326 (comment) created by leanprover-community-bot
July 12, 2025 03:20 9s
July 12, 2025 03:20 9s
PR release PR release #29724: completed by leodemoura
July 12, 2025 03:14 6m 9s
July 12, 2025 03:14 6m 9s
Grove Grove #1214: completed by leodemoura
July 12, 2025 03:14 14s
July 12, 2025 03:14 14s
Actionlint Actionlint #5823: Merge group checks requested
July 12, 2025 03:10 47s
July 12, 2025 03:10 47s
Check awaiting-manual label Check awaiting-manual label #1005: Merge group checks requested
July 12, 2025 03:10 5s
July 12, 2025 03:10 5s
Check for stage0 changes Check for stage0 changes #18264: Merge group checks requested
July 12, 2025 03:10 35s
July 12, 2025 03:10 35s
Check awaiting-mathlib label Check awaiting-mathlib label #8674: Merge group checks requested
July 12, 2025 03:10 7s
July 12, 2025 03:10 7s
CI CI #38909: Merge group checks requested
July 12, 2025 03:10 18m 55s
July 12, 2025 03:10 18m 55s
Check PR body for changelog convention Check PR body for changelog convention #18123: Merge group checks requested
July 12, 2025 03:10 5s
July 12, 2025 03:10 5s
Check PR title for commit convention Check PR title for commit convention #25147: Merge group checks requested
July 12, 2025 03:10 8s
July 12, 2025 03:10 8s
Grove Grove #1213: completed by github-merge-queue bot
July 12, 2025 03:05 17s
July 12, 2025 03:05 17s
PR release PR release #29723: completed by github-merge-queue bot
July 12, 2025 03:05 1s
July 12, 2025 03:05 1s
PR release PR release #29722: completed by leodemoura
July 12, 2025 02:57 1s
July 12, 2025 02:57 1s