Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
260,512 workflow runs
260,512 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Grove Grove #13363: completed by github-merge-queue bot
4m 13s
4m 13s
PR release PR release #41873: completed by github-merge-queue bot
1s
1s
PR release PR release #41872: completed by kim-em
11s
11s
Grove Grove #13362: completed by kim-em
16s
16s
chore: update grind IndexMap example Backport #16697: Pull request #12264 closed by kim-em
8s
8s
chore: update grind IndexMap example (#12264) CI #50877: Commit a362093 pushed by github-merge-queue bot
57m 43s master
master
57m 43s
chore: update grind IndexMap example (#12264) Update stage0 #7081: Commit a362093 pushed by github-merge-queue bot
24s master
master
24s
PR release PR release #41871: completed by kim-em
2s
2s
Grove Grove #13361: completed by kim-em
12s
12s
CI CI #50876: Merge group checks requested
20m 21s
20m 21s
Check PR title for commit convention Check PR title for commit convention #36283: Merge group checks requested
8s
8s
Check for stage0 changes Check for stage0 changes #27776: Merge group checks requested
24s
24s
Check awaiting-mathlib label Check awaiting-mathlib label #21256: Merge group checks requested
7s
7s
Check awaiting-manual label Check awaiting-manual label #13586: Merge group checks requested
7s
7s
Check PR body for changelog convention Check PR body for changelog convention #32690: Merge group checks requested
8s
8s
Actionlint Actionlint #8371: Merge group checks requested
25s
25s
chore: update grind IndexMap example CI #50875: Pull request #12264 opened by kim-em
47m 37s indexmap_update
indexmap_update
47m 37s
chore: update grind IndexMap example Check for copyright header #22629: Pull request #12264 opened by kim-em
25s indexmap_update
indexmap_update
25s
chore: update grind IndexMap example Check awaiting-manual label #13585: Pull request #12264 opened by kim-em
7s indexmap_update
indexmap_update
7s
chore: update grind IndexMap example Check awaiting-mathlib label #21255: Pull request #12264 opened by kim-em
8s indexmap_update
indexmap_update
8s
chore: update grind IndexMap example Check stdlib_flags.h modifications #1991: Pull request #12264 opened by kim-em
6s indexmap_update
indexmap_update
6s
chore: update grind IndexMap example Check PR body for changelog convention #32689: Pull request #12264 opened by kim-em
6s indexmap_update
indexmap_update
6s
chore: update grind IndexMap example Check PR title for commit convention #36282: Pull request #12264 opened by kim-em
6s indexmap_update
indexmap_update
6s
chore: update grind IndexMap example Check for modules that should use `prelude` #22474: Pull request #12264 opened by kim-em
13s indexmap_update
indexmap_update
13s
chore: update grind IndexMap example Check for stage0 changes #27775: Pull request #12264 opened by kim-em
22s indexmap_update
indexmap_update
22s