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 #1445: Scheduled
1m 12s main
main
1m 12s
Merge main to nightly-testing Merge main to nightly-testing #2288: Scheduled
1m 15s main
main
1m 15s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1444: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #2287: Scheduled
1m 15s main
main
1m 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2825: completed by mathlib-nightly-testing Bot
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2824: completed by mathlib-nightly-testing Bot
15s
15s
chore: adaptations for nightly-2026-06-27 Lean Action CI #4066: Commit 0b678bb pushed by mathlib-nightly-testing Bot
6m 57s nightly-testing
nightly-testing
6m 57s
chore: adaptations for nightly-2026-06-27 Lean Action CI #4065: Pull request #684 opened by mathlib-nightly-testing Bot
11m 5s bump/nightly-2026-06-27
bump/nightly-2026-06-27
11m 5s
chore: adaptations for nightly-2026-06-27 Check PR title for commit convention #2956: Pull request #684 opened by mathlib-nightly-testing Bot
5s bump/nightly-2026-06-27
bump/nightly-2026-06-27
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2823: completed by mathlib-nightly-testing Bot
23s
23s
chore: bump to nightly-2026-06-27 with mathlib at nightly-testing-202… Lean Action CI #4064: Commit e43be33 pushed by mathlib-nightly-testing Bot
10m 17s nightly-testing
nightly-testing
10m 17s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1443: Scheduled
1m 24s main
main
1m 24s
Merge main to nightly-testing Merge main to nightly-testing #2286: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #2285: Scheduled
58s main
main
58s
Merge main to nightly-testing Merge main to nightly-testing #2284: Scheduled
58s main
main
58s
feat(data structures): simple functional queue from Okasaki Check PR title for commit convention #2955: Pull request #558 edited by c-cube
5s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2822: completed by c-cube
11s
11s
feat(data structures): simple functional queue from Okasaki Lean Action CI #4063: Pull request #558 synchronize by c-cube
4m 22s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
4m 22s
feat(data structures): simple functional queue from Okasaki Check PR title for commit convention #2954: Pull request #558 synchronize by c-cube
5s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2821: completed by c-cube
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2820: completed by c-cube
1s
1s
feat(data structures): simple functional queue from Okasaki Lean Action CI #4062: Pull request #558 synchronize by c-cube
4m 29s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
4m 29s
feat(data structures): simple functional queue from Okasaki Check PR title for commit convention #2953: Pull request #558 synchronize by c-cube
10s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
10s
feat(data structures): simple functional queue from Okasaki Lean Action CI #4061: Pull request #558 synchronize by c-cube
4m 42s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
4m 42s
feat(data structures): simple functional queue from Okasaki Check PR title for commit convention #2952: Pull request #558 synchronize by c-cube
6s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
6s