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
Merge main to nightly-testing Merge main to nightly-testing #1850: Scheduled
1m 16s main
main
1m 16s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2145: completed by mathlib-nightly-testing Bot
1s
1s
chore: bump mathlib to 6cf3ab1, fix breaking changes Lean Action CI #3315: Pull request #547 synchronize by chenson2018
2h 40m 12s bump-mathlib/fix-6cf3ab1
bump-mathlib/fix-6cf3ab1
2h 40m 12s
chore: bump mathlib to 6cf3ab1, fix breaking changes Check PR title for commit convention #2189: Pull request #547 synchronize by chenson2018
6s bump-mathlib/fix-6cf3ab1
bump-mathlib/fix-6cf3ab1
6s
chore: bump mathlib to 6cf3ab1, fix breaking changes Lean Action CI #3314: Pull request #547 opened by mathlib-nightly-testing Bot
23m 8s bump-mathlib/fix-6cf3ab1
bump-mathlib/fix-6cf3ab1
23m 8s
chore: bump mathlib to 6cf3ab1, fix breaking changes Check PR title for commit convention #2188: Pull request #547 opened by mathlib-nightly-testing Bot
8s bump-mathlib/fix-6cf3ab1
bump-mathlib/fix-6cf3ab1
8s
Bump mathlib to LKG Bump mathlib to LKG #38: Manually run by chenson2018
1m 46s main
main
1m 46s
Bump mathlib to LKG Bump mathlib to LKG #37: Manually run by chenson2018
1m 6s main
main
1m 6s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1166: Scheduled
1m 3s main
main
1m 3s
Merge main to nightly-testing Merge main to nightly-testing #1849: 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. #2144: completed by Robertboy18
2s
2s
feat(Boole): Bring Boole sandbox to Lean 4.29 and add queue examples Check PR title for commit convention #2187: Pull request #539 synchronize by Robertboy18
8s Robertboy18:feat/boole-queue-deque-examples
Robertboy18:feat/boole-queue-deque-examples
8s
feat(Boole): Bring Boole sandbox to Lean 4.29 and add queue examples Lean Action CI #3313: Pull request #539 synchronize by Robertboy18
12m 7s Robertboy18:feat/boole-queue-deque-examples
Robertboy18:feat/boole-queue-deque-examples
12m 7s
Bump mathlib to LKG Bump mathlib to LKG #36: Scheduled
19s main
main
19s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1165: Scheduled
1m 5s main
main
1m 5s
Merge main to nightly-testing Merge main to nightly-testing #1848: Scheduled
1m 14s main
main
1m 14s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1164: Scheduled
1m 4s main
main
1m 4s
Merge main to nightly-testing Merge main to nightly-testing #1847: Scheduled
1m 6s main
main
1m 6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2143: completed by mathlib-nightly-testing Bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2142: completed by mathlib-nightly-testing Bot
20s
20s
chore: adaptations for nightly-2026-05-04 Lean Action CI #3312: Commit f88ab11 pushed by mathlib-nightly-testing Bot
5m 38s nightly-testing
nightly-testing
5m 38s
chore: adaptations for nightly-2026-05-04 Check PR title for commit convention #2186: Pull request #543 opened by mathlib-nightly-testing Bot
7s bump/nightly-2026-05-04
bump/nightly-2026-05-04
7s
chore: adaptations for nightly-2026-05-04 Lean Action CI #3311: Pull request #543 opened by mathlib-nightly-testing Bot
9m 35s bump/nightly-2026-05-04
bump/nightly-2026-05-04
9m 35s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2141: completed by mathlib-nightly-testing Bot
34s
34s
chore: bump to nightly-2026-05-04 with mathlib at nightly-testing-202… Lean Action CI #3310: Commit 8798001 pushed by mathlib-nightly-testing Bot
9m 23s nightly-testing
nightly-testing
9m 23s