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
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1234: Scheduled
56s main
main
56s
Merge main to nightly-testing Merge main to nightly-testing #1953: Scheduled
56s main
main
56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2257: completed by Robertboy18
1s
1s
feat(algorithms): add bubble, insertion, counting, and quicksort Lean Action CI #3450: Pull request #570 synchronize by Robertboy18
5m 20s Robertboy18:algorithms-sorting-timem
Robertboy18:algorithms-sorting-timem
5m 20s
feat(algorithms): add bubble, insertion, counting, and quicksort Check PR title for commit convention #2306: Pull request #570 synchronize by Robertboy18
9s Robertboy18:algorithms-sorting-timem
Robertboy18:algorithms-sorting-timem
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2256: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to bf8b279 Check PR title for commit convention #2305: Pull request #552 synchronize by mathlib-nightly-testing Bot
5s hopscotch/lkg-bump
hopscotch/lkg-bump
5s
chore: Bump mathlib dependency to bf8b279 Lean Action CI #3449: Pull request #552 synchronize by mathlib-nightly-testing Bot
8m 48s hopscotch/lkg-bump
hopscotch/lkg-bump
8m 48s
chore: Bump mathlib dependency to bf8b279 Check PR title for commit convention #2304: Pull request #552 edited by mathlib-nightly-testing Bot
5s hopscotch/lkg-bump
hopscotch/lkg-bump
5s
Bump mathlib to LKG Bump mathlib to LKG #51: Scheduled
4m 47s main
main
4m 47s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2255: completed by Robertboy18
1s
1s
feat(algorithms): add bubble, insertion, counting, and quicksort Lean Action CI #3448: Pull request #570 opened by Robertboy18
10m 34s Robertboy18:algorithms-sorting-timem
Robertboy18:algorithms-sorting-timem
10m 34s
feat(algorithms): add bubble, insertion, counting, and quicksort Check PR title for commit convention #2303: Pull request #570 opened by Robertboy18
9s Robertboy18:algorithms-sorting-timem
Robertboy18:algorithms-sorting-timem
9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1233: Scheduled
1m 2s main
main
1m 2s
Merge main to nightly-testing Merge main to nightly-testing #1952: Scheduled
1m 6s main
main
1m 6s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1232: Scheduled
59s main
main
59s
Merge main to nightly-testing Merge main to nightly-testing #1951: Scheduled
1m 8s main
main
1m 8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2254: completed by AntoineduFresne
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2253: completed by mathlib-nightly-testing Bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2252: completed by mathlib-nightly-testing Bot
14s
14s
chore: adaptations for nightly-2026-05-17 Lean Action CI #3447: Commit b31f311 pushed by mathlib-nightly-testing Bot
5m 20s nightly-testing
nightly-testing
5m 20s
chore: adaptations for nightly-2026-05-17 Check PR title for commit convention #2302: Pull request #569 opened by mathlib-nightly-testing Bot
8s bump/nightly-2026-05-17
bump/nightly-2026-05-17
8s
chore: adaptations for nightly-2026-05-17 Lean Action CI #3446: Pull request #569 opened by mathlib-nightly-testing Bot
9m 55s bump/nightly-2026-05-17
bump/nightly-2026-05-17
9m 55s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2251: completed by chenson2018
23s
23s
adaptations for lean4\#13651 Lean Action CI #3445: Commit b4f06d9 pushed by chenson2018
15m 12s nightly-testing
nightly-testing
15m 12s