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 #2533: Scheduled
1m 22s main
main
1m 22s
Merge main to nightly-testing Merge main to nightly-testing #2532: Scheduled
1m 22s main
main
1m 22s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1599: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #2531: Scheduled
1m 27s main
main
1m 27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3181: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to b595917 Lean Action CI #4422: Pull request #645 synchronize by mathlib-nightly-testing Bot
13m 29s hopscotch/lkg-bump
hopscotch/lkg-bump
13m 29s
chore: Bump mathlib dependency to b595917 Check PR title for commit convention #3327: Pull request #645 edited by mathlib-nightly-testing Bot
12s hopscotch/lkg-bump
hopscotch/lkg-bump
12s
chore: Bump mathlib dependency to b595917 Check PR title for commit convention #3326: Pull request #645 synchronize by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
Bump mathlib to LKG Bump mathlib to LKG #123: Scheduled
5m 15s main
main
5m 15s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1598: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #2530: Scheduled
1m 15s main
main
1m 15s
Release Release #18: by Garmelon
17s v4.32.2
v4.32.2
17s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1597: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #2529: Scheduled
1m 9s main
main
1m 9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1596: Scheduled
26s main
main
26s
Merge main to nightly-testing Merge main to nightly-testing #2528: Scheduled
1m 7s main
main
1m 7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1595: Scheduled
33s main
main
33s
Merge main to nightly-testing Merge main to nightly-testing #2527: Scheduled
1m 9s main
main
1m 9s
Merge main to nightly-testing Merge main to nightly-testing #2526: Scheduled
1m 7s main
main
1m 7s
Merge main to nightly-testing Merge main to nightly-testing #2525: Scheduled
1m 3s main
main
1m 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3180: completed by c-cube
1s
1s
feat(data structures): simple functional queue from Okasaki Lean Action CI #4421: Pull request #558 synchronize by c-cube
10m 26s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
10m 26s
feat(data structures): simple functional queue from Okasaki Check PR title for commit convention #3325: Pull request #558 synchronize by c-cube
12s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
12s
Merge main to nightly-testing Merge main to nightly-testing #2524: Scheduled
1m 10s main
main
1m 10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1594: Scheduled
1m 7s main
main
1m 7s