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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release
PR release #50943: completed by wkrozowski
2s
Grove
Grove #22433: completed by wkrozowski
15s
Grove
Grove #22432: completed by github-merge-queue Bot
10s
PR release
PR release #50942: completed by github-merge-queue Bot
1s
Grove
Grove #22431: completed by Vtec234
1s
PR release
PR release #50941: completed by Vtec234
In progress
PR release
PR release #50940: completed by Kha
In progress
Grove
Grove #22430: completed by Kha
20s
Grove
Grove #22429: completed by github-merge-queue Bot
1s
PR release
PR release #50939: completed by github-merge-queue Bot
7s
CI
CI #59640: Merge group checks requested
In progress
Check PR body for changelog convention
Check PR body for changelog convention #44616: Merge group checks requested
31s
Actionlint
Actionlint #10272: Merge group checks requested
1m 25s
Check awaiting-mathlib label
Check awaiting-mathlib label #31421: Merge group checks requested
1m 10s
Check for stage0 changes
Check for stage0 changes #34926: Merge group checks requested
1m 38s
Check awaiting-manual label
Check awaiting-manual label #23751: Merge group checks requested
16s
Check PR title for commit convention
Check PR title for commit convention #45006: Merge group checks requested
8s