Skip to content

Actions: leanprover/lean4

Actions

Grove

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
grove.yml
2,500+ workflow runs
2,500+ workflow runs

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
Grove Grove #25464: completed by tydeu
29s
29s
Grove Grove #25463: completed by Kha
30s
30s
Grove Grove #25462: completed by github-merge-queue Bot
1m 12s
1m 12s
Grove Grove #25461: completed by kim-em
36s
36s
Grove Grove #25460: completed by kim-em
30s
30s
Grove Grove #25459: completed by kim-em
14s
14s
Grove Grove #25458: completed by algebraic-dev
29s
29s
Grove Grove #25457: completed by kim-em
26s
26s
Grove Grove #25456: completed by Shreyas4991
1s
1s
Grove Grove #25455: completed by ia0
37s
37s
Grove Grove #25454: completed by Shreyas4991
43s
43s
Grove Grove #25453: completed by algebraic-dev
28s
28s
Grove Grove #25452: completed by Kha
26s
26s
Grove Grove #25451: completed by Kha
1m 18s
1m 18s
Grove Grove #25450: completed by Kha
22s
22s
Grove Grove #25449: completed by Parcly-Taxel
32s
32s
Grove Grove #25448: completed by kim-em
10s
10s
Grove Grove #25447: completed by kt3k
27s
27s
Grove Grove #25446: completed by marcelolynch
34s
34s
Grove Grove #25445: completed by algebraic-dev
1s
1s
Grove Grove #25444: completed by dennj
27s
27s
Grove Grove #25443: completed by dennj
1s
1s
Grove Grove #25442: completed by algebraic-dev
3s
3s
Grove Grove #25441: completed by marcelolynch
22s
22s
Grove Grove #25440: completed by tydeu
30s
30s