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
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1295: Scheduled
19s main
main
19s
Merge main to nightly-testing Merge main to nightly-testing #2052: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #2051: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #2050: Scheduled
1m 17s main
main
1m 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2435: completed by ctchou
1s
1s
feat(FLP): distributed algorithms for solving the consensus problem Check PR title for commit convention #2549: Pull request #556 edited by ctchou
7s ctchou:flp-algorithm
ctchou:flp-algorithm
7s
feat(FLP): distributed algorithms for solving the consensus problem Lean Action CI #3665: Pull request #556 synchronize by ctchou
5m 31s ctchou:flp-algorithm
ctchou:flp-algorithm
5m 31s
feat(FLP): distributed algorithms for solving the consensus problem Check PR title for commit convention #2548: Pull request #556 synchronize by ctchou
5s ctchou:flp-algorithm
ctchou:flp-algorithm
5s
Merge main to nightly-testing Merge main to nightly-testing #2049: Scheduled
1m 1s main
main
1m 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2434: completed by ctchou
Skipped
Skipped
feat: proof of Myhill-Nerode theorem for DFAs Lean Action CI #3664: Pull request #491 synchronize by ctchou
5m 35s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
5m 35s
feat: proof of Myhill-Nerode theorem for DFAs Check PR title for commit convention #2547: Pull request #491 synchronize by ctchou
10s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2433: completed by ctchou
1s
1s
feat(FLP): distributed algorithms for solving the consensus problem Check PR title for commit convention #2546: Pull request #556 synchronize by ctchou
8s ctchou:flp-algorithm
ctchou:flp-algorithm
8s
feat(FLP): distributed algorithms for solving the consensus problem Lean Action CI #3663: Pull request #556 synchronize by ctchou
5m 32s ctchou:flp-algorithm
ctchou:flp-algorithm
5m 32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2432: completed by ctchou
10s
10s
feat(FLP): distributed algorithms for solving the consensus problem Lean Action CI #3662: Pull request #556 synchronize by ctchou
5m 26s ctchou:flp-algorithm
ctchou:flp-algorithm
5m 26s
feat(FLP): distributed algorithms for solving the consensus problem Check PR title for commit convention #2545: Pull request #556 synchronize by ctchou
5s ctchou:flp-algorithm
ctchou:flp-algorithm
5s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1294: Scheduled
32s main
main
32s
Merge main to nightly-testing Merge main to nightly-testing #2048: 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. #2431: completed by mathlib-nightly-testing Bot
2s
2s
chore: Bump mathlib dependency to 405bba7 Check PR title for commit convention #2544: Pull request #598 edited by mathlib-nightly-testing Bot
7s hopscotch/lkg-bump
hopscotch/lkg-bump
7s
chore: Bump mathlib dependency to 405bba7 Check PR title for commit convention #2543: Pull request #598 synchronize by mathlib-nightly-testing Bot
5s hopscotch/lkg-bump
hopscotch/lkg-bump
5s
chore: Bump mathlib dependency to 405bba7 Lean Action CI #3661: Pull request #598 synchronize by mathlib-nightly-testing Bot
9m 35s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 35s
Bump mathlib to LKG Bump mathlib to LKG #63: Scheduled
4m 54s main
main
4m 54s