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 #1477: Scheduled
1m 8s main
main
1m 8s
Merge main to nightly-testing Merge main to nightly-testing #2338: Scheduled
1m 4s main
main
1m 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2876: completed by mathlib-nightly-testing Bot
7s
7s
chore: Bump mathlib dependency to bb577fa Check PR title for commit convention #3017: Pull request #645 edited by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
chore: Bump mathlib dependency to bb577fa Lean Action CI #4117: Pull request #645 synchronize by mathlib-nightly-testing Bot
9m 21s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 21s
chore: Bump mathlib dependency to bb577fa Check PR title for commit convention #3016: Pull request #645 synchronize by mathlib-nightly-testing Bot
10s hopscotch/lkg-bump
hopscotch/lkg-bump
10s
Bump mathlib to LKG Bump mathlib to LKG #99: Scheduled
4m 59s main
main
4m 59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1476: Scheduled
1m 8s main
main
1m 8s
Merge main to nightly-testing Merge main to nightly-testing #2337: Scheduled
1m 10s main
main
1m 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2875: completed by chenson2018
53s
53s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1475: Scheduled
1m 30s main
main
1m 30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2874: completed by chenson2018
14s
14s
chore: adaptations for nightly-2026-07-03 Lean Action CI #4116: Commit d065086 pushed by chenson2018
6m 34s nightly-testing
nightly-testing
6m 34s
chore: adaptations for nightly-2026-07-03 Check PR title for commit convention #3015: Pull request #697 opened by chenson2018
6s bump/nightly-2026-07-03
bump/nightly-2026-07-03
6s
chore: adaptations for nightly-2026-07-03 Lean Action CI #4115: Pull request #697 opened by chenson2018
10m 39s bump/nightly-2026-07-03
bump/nightly-2026-07-03
10m 39s
Merge main to nightly-testing Merge main to nightly-testing #2336: Scheduled
1m 9s main
main
1m 9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1474: Scheduled
1m 11s main
main
1m 11s
Merge main to nightly-testing Merge main to nightly-testing #2335: Scheduled
55s main
main
55s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2873: completed by mathlib-nightly-testing Bot
18s
18s
chore: bump to nightly-2026-07-03 with mathlib at nightly-testing-202… Lean Action CI #4114: Commit 2339674 pushed by mathlib-nightly-testing Bot
10m 48s nightly-testing
nightly-testing
10m 48s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1473: Scheduled
1m 8s main
main
1m 8s
Merge main to nightly-testing Merge main to nightly-testing #2334: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #2333: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #2332: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #2331: Scheduled
1m 9s main
main
1m 9s