Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,232 workflow runs
4,232 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #439: completed by leanprover-community-mathlib4-bot
7s
7s
chore: bump to nightly-2026-01-02 with mathlib at nightly-testing-202… Lean Action CI #1400: Commit 3665faa pushed by leanprover-community-mathlib4-bot
2m 16s nightly-testing
nightly-testing
2m 16s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #551: Scheduled
1m 9s main
main
1m 9s
Merge main to nightly-testing Merge main to nightly-testing #876: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #875: Scheduled
1m 10s main
main
1m 10s
Merge main to nightly-testing Merge main to nightly-testing #874: Scheduled
58s main
main
58s
Merge main to nightly-testing Merge main to nightly-testing #873: Scheduled
50s main
main
50s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #550: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #872: Scheduled
1m 0s main
main
1m 0s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #549: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #871: Scheduled
52s main
main
52s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #548: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #870: Scheduled
53s main
main
53s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #547: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #869: Scheduled
47s main
main
47s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #546: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #868: Scheduled
47s main
main
47s
Merge main to nightly-testing Merge main to nightly-testing #867: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #866: Scheduled
59s main
main
59s
Merge main to nightly-testing Merge main to nightly-testing #865: Scheduled
54s main
main
54s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #545: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #864: Scheduled
1m 2s main
main
1m 2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #544: Scheduled
25s main
main
25s
Merge main to nightly-testing Merge main to nightly-testing #863: Scheduled
54s main
main
54s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #543: Scheduled
18s main
main
18s