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
PR release PR release #50943: completed by wkrozowski
2s
2s
Grove Grove #22433: completed by wkrozowski
15s
15s
Grove Grove #22432: completed by github-merge-queue Bot
10s
10s
PR release PR release #50942: completed by github-merge-queue Bot
1s
1s
Grove Grove #22431: completed by Vtec234
1s
1s
PR release PR release #50941: completed by Vtec234
In progress
In progress
chore: fix namespaceing in DeprecatedModule Backport #20754: Pull request #14310 closed by wkrozowski
6s
6s
chore: fix namespaceing in DeprecatedModule Adaptation PR #360: Pull request #14310 closed by wkrozowski
32s
32s
chore: fix namespaceing in DeprecatedModule (#14310) CI #59642: Commit d14ff0b pushed by github-merge-queue Bot
In progress master
master
In progress
chore: fix namespaceing in DeprecatedModule (#14310) Update stage0 #8535: Commit d14ff0b pushed by github-merge-queue Bot
1m 3s master
master
1m 3s
PR release PR release #50940: completed by Kha
In progress
In progress
Grove Grove #22430: completed by Kha
20s
20s
Grove Grove #22429: completed by github-merge-queue Bot
1s
1s
PR release PR release #50939: completed by github-merge-queue Bot
7s
7s
chore: change UnusedSimpArgs hint Backport #20753: Pull request #14313 closed by wkrozowski
6s
6s
chore: change UnusedSimpArgs hint Adaptation PR #359: Pull request #14313 closed by wkrozowski
37s
37s
chore: change UnusedSimpArgs hint (#14313) CI #59641: Commit 81074d1 pushed by github-merge-queue Bot
5m 0s master
master
5m 0s
chore: change UnusedSimpArgs hint (#14313) Update stage0 #8534: Commit 81074d1 pushed by github-merge-queue Bot
1m 7s master
master
1m 7s
CI CI #59640: Merge group checks requested
In progress
In progress
Check PR body for changelog convention Check PR body for changelog convention #44616: Merge group checks requested
31s
31s
Actionlint Actionlint #10272: Merge group checks requested
1m 25s
1m 25s
Check awaiting-mathlib label Check awaiting-mathlib label #31421: Merge group checks requested
1m 10s
1m 10s
Check for stage0 changes Check for stage0 changes #34926: Merge group checks requested
1m 38s
1m 38s
Check awaiting-manual label Check awaiting-manual label #23751: Merge group checks requested
16s
16s
Check PR title for commit convention Check PR title for commit convention #45006: Merge group checks requested
8s
8s