Skip to content

Actions: leanprover/cslib

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
simple functional queue from Okasaki Check PR title for commit convention #2316: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Lean Action CI #3456: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Check PR title for commit convention #2315: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Lean Action CI #3455: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
Merge main to nightly-testing Merge main to nightly-testing #1962: Scheduled
1m 3s main
main
1m 3s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1239: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #1961: Scheduled
1m 12s main
main
1m 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2259: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to 7e2ece3 Check PR title for commit convention #2314: Pull request #552 synchronize by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
chore: Bump mathlib dependency to 7e2ece3 Lean Action CI #3454: Pull request #552 synchronize by mathlib-nightly-testing Bot
9m 57s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 57s
chore: Bump mathlib dependency to 7e2ece3 Check PR title for commit convention #2313: Pull request #552 edited by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
Bump mathlib to LKG Bump mathlib to LKG #52: Scheduled
4m 45s main
main
4m 45s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1238: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #1960: Scheduled
1m 8s main
main
1m 8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1237: Scheduled
27s main
main
27s
Merge main to nightly-testing Merge main to nightly-testing #1959: Scheduled
57s main
main
57s
feat: Splay Tree Formalisation Check PR title for commit convention #2312: Pull request #568 edited by AntoineduFresne
7s AntoineduFresne:main
AntoineduFresne:main
7s
feat: Splay Tree Formalisation Check PR title for commit convention #2311: Pull request #568 edited by AntoineduFresne
9s AntoineduFresne:main
AntoineduFresne:main
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2258: completed by AntoineduFresne
2s
2s
feat: Splay Tree Formalisation Check PR title for commit convention #2310: Pull request #568 synchronize by AntoineduFresne
11s AntoineduFresne:main
AntoineduFresne:main
11s
feat: Splay Tree Formalisation Lean Action CI #3453: Pull request #568 synchronize by AntoineduFresne
4m 54s AntoineduFresne:main
AntoineduFresne:main
4m 54s
feat: Splay Tree Formalisation Check PR title for commit convention #2309: Pull request #568 edited by AntoineduFresne
Action required AntoineduFresne:main
AntoineduFresne:main
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1236: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #1958: Scheduled
1m 16s main
main
1m 16s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1235: Scheduled
31s main
main
31s