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 #1698: Scheduled
1m 9s main
main
1m 9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1071: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #1697: Scheduled
1m 0s main
main
1m 0s
feat(Algorithms): Prove insertion sort is stable Lean Action CI #3077: Pull request #446 synchronize by Arleee1
Action required Arleee1:insertionstable
Arleee1:insertionstable
Action required
feat(Algorithms): Prove insertion sort is stable Check PR title for commit convention #1983: Pull request #446 synchronize by Arleee1
Action required Arleee1:insertionstable
Arleee1:insertionstable
Action required
feat(Algorithms): Prove insertion sort is stable Check PR title for commit convention #1982: Pull request #446 synchronize by Arleee1
Action required Arleee1:insertionstable
Arleee1:insertionstable
Action required
feat(Algorithms): Prove insertion sort is stable Lean Action CI #3076: Pull request #446 synchronize by Arleee1
Action required Arleee1:insertionstable
Arleee1:insertionstable
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1922: completed by ctchou
1s
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1070: Scheduled
22s main
main
22s
refactor: provide a properly encapsulated implementation of OmegaLanguage Check PR title for commit convention #1981: Pull request #485 synchronize by ctchou
7s ctchou:fix-omega-lang
ctchou:fix-omega-lang
7s
refactor: provide a properly encapsulated implementation of OmegaLanguage Lean Action CI #3075: Pull request #485 synchronize by ctchou
7m 56s ctchou:fix-omega-lang
ctchou:fix-omega-lang
7m 56s
feat(MergeSort): Prove merge sort is stable Check PR title for commit convention #1980: Pull request #442 synchronize by Arleee1
Action required Arleee1:mergestable
Arleee1:mergestable
Action required
feat(MergeSort): Prove merge sort is stable Lean Action CI #3074: Pull request #442 synchronize by Arleee1
Action required Arleee1:mergestable
Arleee1:mergestable
Action required
feat(MergeSort): Prove merge sort is stable Check PR title for commit convention #1979: Pull request #442 synchronize by Arleee1
Action required Arleee1:mergestable
Arleee1:mergestable
Action required
feat(MergeSort): Prove merge sort is stable Lean Action CI #3073: Pull request #442 synchronize by Arleee1
Action required Arleee1:mergestable
Arleee1:mergestable
Action required
Merge main to nightly-testing Merge main to nightly-testing #1696: Scheduled
1m 0s main
main
1m 0s
feat(MergeSort): Prove merge sort is stable Lean Action CI #3072: Pull request #442 synchronize by Arleee1
Action required Arleee1:mergestable
Arleee1:mergestable
Action required
feat(MergeSort): Prove merge sort is stable Check PR title for commit convention #1978: Pull request #442 synchronize by Arleee1
Action required Arleee1:mergestable
Arleee1:mergestable
Action required
feat(MergeSort): Prove merge sort is stable Lean Action CI #3071: Pull request #442 synchronize by Arleee1
Action required Arleee1:mergestable
Arleee1:mergestable
Action required
feat(MergeSort): Prove merge sort is stable Check PR title for commit convention #1977: Pull request #442 synchronize by Arleee1
Action required Arleee1:mergestable
Arleee1:mergestable
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1069: Scheduled
20s main
main
20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1921: completed by mathlib-nightly-testing bot
16s
16s
Merge main into nightly-testing Lean Action CI #3070: Commit 8352f0c pushed by mathlib-nightly-testing bot
5m 55s nightly-testing
nightly-testing
5m 55s
Merge main to nightly-testing Merge main to nightly-testing #1695: Scheduled
1m 10s main
main
1m 10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1068: Scheduled
27s main
main
27s