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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3300: completed by downstream-lean4 Bot
8s
8s
chore: export downstream-lean4 adaptations Lean Action CI #4541: Pull request #776 opened by downstream-lean4 Bot
13m 7s downstream-lean4-export
downstream-lean4-export
13m 7s
chore: export downstream-lean4 adaptations Check PR title for commit convention #3429: Pull request #776 opened by downstream-lean4 Bot
13s downstream-lean4-export
downstream-lean4-export
13s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1637: Scheduled
1m 21s main
main
1m 21s
Merge main to nightly-testing Merge main to nightly-testing #2593: Scheduled
1m 25s main
main
1m 25s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1636: Scheduled
2m 12s main
main
2m 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3299: completed by Shreyas4991
2s
2s
feat: query complexity model with combined history Lean Action CI #4540: Pull request #685 synchronize by Shreyas4991
6m 33s Shreyas4991:query-final-squash-with-401-history
Shreyas4991:query-final-squash-with-401-history
6m 33s
feat: query complexity model with combined history Check PR title for commit convention #3428: Pull request #685 synchronize by Shreyas4991
7s Shreyas4991:query-final-squash-with-401-history
Shreyas4991:query-final-squash-with-401-history
7s
Merge main to nightly-testing Merge main to nightly-testing #2592: 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. #3298: completed by mathlib-nightly-testing Bot
6s
6s
chore: bump to nightly-2026-08-05 with mathlib at nightly-testing-202… Lean Action CI #4539: Commit 70ae083 pushed by mathlib-nightly-testing Bot
5m 30s nightly-testing
nightly-testing
5m 30s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1635: Scheduled
1m 15s main
main
1m 15s
Merge main to nightly-testing Merge main to nightly-testing #2591: Scheduled
1m 13s main
main
1m 13s
Merge main to nightly-testing Merge main to nightly-testing #2590: Scheduled
1m 31s main
main
1m 31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3297: completed by Lsonic233
9s
9s
feat(Automata): Regular languages are closed under reversal. Check PR title for commit convention #3427: Pull request #775 synchronize by Lsonic233
7s Lsonic233:na-reverse
Lsonic233:na-reverse
7s
feat(Automata): Regular languages are closed under reversal. Lean Action CI #4538: Pull request #775 synchronize by Lsonic233
5m 30s Lsonic233:na-reverse
Lsonic233:na-reverse
5m 30s
Merge main to nightly-testing Merge main to nightly-testing #2589: Scheduled
1m 13s main
main
1m 13s
Merge main to nightly-testing Merge main to nightly-testing #2588: Scheduled
1m 11s main
main
1m 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3296: completed by mathlib-nightly-testing Bot
8s
8s
chore: bump to nightly-2026-08-04 with mathlib at nightly-testing-202… Lean Action CI #4537: Commit 64c8dc7 pushed by mathlib-nightly-testing Bot
5m 6s nightly-testing
nightly-testing
5m 6s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1634: Scheduled
1m 21s main
main
1m 21s
Merge main to nightly-testing Merge main to nightly-testing #2587: Scheduled
1m 17s main
main
1m 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3295: completed by mathlib-nightly-testing Bot
6s
6s