Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,503 workflow runs
9,503 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 #997: Scheduled
19s main
main
19s
Merge main to nightly-testing Merge main to nightly-testing #1581: Scheduled
54s main
main
54s
Merge main to nightly-testing Merge main to nightly-testing #1580: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #1579: Scheduled
53s main
main
53s
Merge main to nightly-testing Merge main to nightly-testing #1578: Scheduled
1m 0s main
main
1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1760: completed by chenson2018
10s
10s
grind failure in nth_of_strictMono (transparency?) Lean Action CI #2863: Commit 35d6de9 pushed by chenson2018
4m 3s nightly-testing
nightly-testing
4m 3s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #996: Scheduled
56s main
main
56s
Merge main to nightly-testing Merge main to nightly-testing #1577: Scheduled
1m 9s main
main
1m 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1759: completed by mathlib-nightly-testing bot
10s
10s
Lean Action CI Lean Action CI #2862: by mathlib-nightly-testing bot
3m 53s nightly-testing
nightly-testing
3m 53s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #995: Scheduled
1m 29s main
main
1m 29s
Merge main to nightly-testing Merge main to nightly-testing #1576: Scheduled
1m 21s main
main
1m 21s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #994: Scheduled
27s main
main
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1758: completed by mathlib-nightly-testing bot
10s
10s
Merge main into nightly-testing Lean Action CI #2861: Commit fe30057 pushed by mathlib-nightly-testing bot
3m 49s nightly-testing
nightly-testing
3m 49s
Merge main to nightly-testing Merge main to nightly-testing #1575: Scheduled
59s main
main
59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1757: completed by jessealama
2s
2s
feat(CombinatoryLogic): Partrec → SKI computability Check PR title for commit convention #1803: Pull request #403 synchronize by jessealama
10s jessealama:ski-equivalence
jessealama:ski-equivalence
10s
feat(CombinatoryLogic): Partrec → SKI computability Lean Action CI #2860: Pull request #403 synchronize by jessealama
3m 20s jessealama:ski-equivalence
jessealama:ski-equivalence
3m 20s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #993: Scheduled
22s main
main
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1756: completed by github-merge-queue bot
2s
2s
chore: bump toolchain to v4.29.0 (#463) Release #7: Commit 0d37cc7 pushed by Garmelon
11s v4.29.0
v4.29.0
11s
chore: bump toolchain to v4.29.0 (#463) Lean Action CI #2859: Commit 0d37cc7 pushed by github-merge-queue bot
13m 54s main
main
13m 54s
chore: bump toolchain to v4.29.0 (#463) Build and Deploy Documentation #136: Commit 0d37cc7 pushed by github-merge-queue bot
50m 50s main
main
50m 50s