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 #1905: Scheduled
1m 10s main
main
1m 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2219: completed by ctchou
1s
1s
feat(FLP): distributed algorithms for solving the consensus problem Check PR title for commit convention #2269: Pull request #556 synchronize by ctchou
11s ctchou:flp-algorithm
ctchou:flp-algorithm
11s
feat(FLP): distributed algorithms for solving the consensus problem Lean Action CI #3410: Pull request #556 synchronize by ctchou
8m 59s ctchou:flp-algorithm
ctchou:flp-algorithm
8m 59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2218: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to 229580e Lean Action CI #3409: Pull request #552 synchronize by mathlib-nightly-testing Bot
13m 52s hopscotch/lkg-bump
hopscotch/lkg-bump
13m 52s
chore: Bump mathlib dependency to 229580e Check PR title for commit convention #2268: Pull request #552 edited by mathlib-nightly-testing Bot
13s hopscotch/lkg-bump
hopscotch/lkg-bump
13s
chore: Bump mathlib dependency to 229580e Check PR title for commit convention #2267: Pull request #552 synchronize by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
Bump mathlib to LKG Bump mathlib to LKG #45: Scheduled
4m 47s main
main
4m 47s
feat(Foundations/Data): Function view for Turing tapes Lean Action CI #3408: Pull request #499 synchronize by crei
Action required crei:tapes_as_functions
crei:tapes_as_functions
Action required
feat(Foundations/Data): Function view for Turing tapes Check PR title for commit convention #2266: Pull request #499 synchronize by crei
Action required crei:tapes_as_functions
crei:tapes_as_functions
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1203: 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. #2217: completed by mathlib-nightly-testing Bot
2s
2s
Merge main to nightly-testing Merge main to nightly-testing #1904: Scheduled
1m 7s main
main
1m 7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2216: completed by mathlib-nightly-testing Bot
20s
20s
chore: adaptations for nightly-2026-05-11 Check PR title for commit convention #2265: Pull request #560 opened by mathlib-nightly-testing Bot
14s bump/nightly-2026-05-11
bump/nightly-2026-05-11
14s
chore: adaptations for nightly-2026-05-11 Lean Action CI #3407: Pull request #560 opened by mathlib-nightly-testing Bot
9m 35s bump/nightly-2026-05-11
bump/nightly-2026-05-11
9m 35s
chore: adaptations for nightly-2026-05-11 Lean Action CI #3406: Commit 04e72bf pushed by mathlib-nightly-testing Bot
5m 21s nightly-testing
nightly-testing
5m 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2215: completed by mathlib-nightly-testing Bot
41s
41s
chore: bump to nightly-2026-05-11 with mathlib at nightly-testing-202… Lean Action CI #3405: Commit 57b501d pushed by mathlib-nightly-testing Bot
10m 18s nightly-testing
nightly-testing
10m 18s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1202: Manually run by chenson2018
1m 13s main
main
1m 13s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1201: Manually run by chenson2018
30s main
main
30s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1200: Scheduled
1m 26s main
main
1m 26s
Merge main to nightly-testing Merge main to nightly-testing #1903: Scheduled
1m 3s main
main
1m 3s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1199: Scheduled
59s main
main
59s