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. #2822: completed by c-cube
11s
11s
simple functional queue from Okasaki Lean Action CI #4063: Pull request #558 synchronize by c-cube
4m 22s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
4m 22s
simple functional queue from Okasaki Check PR title for commit convention #2954: Pull request #558 synchronize by c-cube
5s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2821: completed by c-cube
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2820: completed by c-cube
1s
1s
simple functional queue from Okasaki Lean Action CI #4062: Pull request #558 synchronize by c-cube
4m 29s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
4m 29s
simple functional queue from Okasaki Check PR title for commit convention #2953: Pull request #558 synchronize by c-cube
10s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
10s
simple functional queue from Okasaki Lean Action CI #4061: Pull request #558 synchronize by c-cube
4m 42s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
4m 42s
simple functional queue from Okasaki Check PR title for commit convention #2952: Pull request #558 synchronize by c-cube
6s c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
6s
Merge main to nightly-testing Merge main to nightly-testing #2283: Scheduled
59s main
main
59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1442: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #2282: 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. #2819: completed by mathlib-nightly-testing Bot
6s
6s
chore: Bump mathlib dependency to 0f320b0 Check PR title for commit convention #2951: Pull request #645 edited by mathlib-nightly-testing Bot
10s hopscotch/lkg-bump
hopscotch/lkg-bump
10s
chore: Bump mathlib dependency to 0f320b0 Check PR title for commit convention #2950: Pull request #645 synchronize by mathlib-nightly-testing Bot
7s hopscotch/lkg-bump
hopscotch/lkg-bump
7s
chore: Bump mathlib dependency to 0f320b0 Lean Action CI #4060: Pull request #645 synchronize by mathlib-nightly-testing Bot
9m 30s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 30s
Bump mathlib to LKG Bump mathlib to LKG #92: Scheduled
4m 48s main
main
4m 48s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1441: Scheduled
34s main
main
34s
Merge main to nightly-testing Merge main to nightly-testing #2281: Scheduled
1m 11s main
main
1m 11s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1440: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #2280: Scheduled
1m 20s main
main
1m 20s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1439: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #2279: Scheduled
1m 14s main
main
1m 14s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1438: Scheduled
19s main
main
19s
Merge main to nightly-testing Merge main to nightly-testing #2278: Scheduled
59s main
main
59s