Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,910 workflow runs
5,910 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #706: Scheduled
15m 3s main
main
15m 3s
Merge main to nightly-testing Merge main to nightly-testing #1120: Scheduled
15m 4s main
main
15m 4s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #705: Scheduled
15m 3s main
main
15m 3s
Merge main to nightly-testing Merge main to nightly-testing #1119: Scheduled
1m 12s main
main
1m 12s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #704: Scheduled
1m 2s main
main
1m 2s
Merge main to nightly-testing Merge main to nightly-testing #1118: Scheduled
1m 5s main
main
1m 5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #854: completed by chenson2018
1s
1s
chore: lake update for 2026-02-02 Check PR title for commit convention #851: Pull request #313 opened by chenson2018
10s chenson2018:lake-update-2026-02-02
chenson2018:lake-update-2026-02-02
10s
chore: lake update for 2026-02-02 Lean Action CI #1848: Pull request #313 opened by chenson2018
8m 4s chenson2018:lake-update-2026-02-02
chenson2018:lake-update-2026-02-02
8m 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #853: completed by chenson2018
1s
1s
chore: weekly linting for 2026-02-02 Check PR title for commit convention #850: Pull request #312 opened by chenson2018
7s chenson2018:weekly-lint-2026-02-02
chenson2018:weekly-lint-2026-02-02
7s
chore: weekly linting for 2026-02-02 Lean Action CI #1847: Pull request #312 opened by chenson2018
5m 37s chenson2018:weekly-lint-2026-02-02
chenson2018:weekly-lint-2026-02-02
5m 37s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #852: completed by leanprover-community-mathlib4-bot
7s
7s
chore: bump to nightly-2026-02-02 with mathlib at nightly-testing-202… Lean Action CI #1846: Commit d97ce93 pushed by leanprover-community-mathlib4-bot
4m 45s nightly-testing
nightly-testing
4m 45s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #703: Scheduled
1m 20s main
main
1m 20s
Merge main to nightly-testing Merge main to nightly-testing #1117: Scheduled
52s main
main
52s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #702: Scheduled
16s main
main
16s
Merge main to nightly-testing Merge main to nightly-testing #1116: Scheduled
50s main
main
50s
Merge main to nightly-testing Merge main to nightly-testing #1115: Scheduled
48s main
main
48s
Weekly linting report Weekly linting report #11: Scheduled
6m 58s main
main
6m 58s
Merge main to nightly-testing Merge main to nightly-testing #1114: Scheduled
53s main
main
53s
Merge main to nightly-testing Merge main to nightly-testing #1113: Scheduled
1m 3s main
main
1m 3s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #701: Scheduled
19s main
main
19s
Merge main to nightly-testing Merge main to nightly-testing #1112: Scheduled
1m 10s main
main
1m 10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #700: Scheduled
19s main
main
19s