Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,525 workflow runs
9,525 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #1588: Scheduled
1m 4s main
main
1m 4s
feat(Algorithms): add BubbleSort formalization with correctness and time bounds Check PR title for commit convention #1812: Pull request #465 edited by patternscientist
Action required Stanford-AI-for-LEAN-Club:bubble-sort-basic
Stanford-AI-for-LEAN-Club:bubble-sort-basic
Action required
feat(Algorithms): add BubbleSort formalization with correctness and time bounds Lean Action CI #2871: Pull request #465 opened by patternscientist
Action required Stanford-AI-for-LEAN-Club:bubble-sort-basic
Stanford-AI-for-LEAN-Club:bubble-sort-basic
Action required
feat(Algorithms): add BubbleSort formalization with correctness and time bounds Check PR title for commit convention #1811: Pull request #465 opened by patternscientist
Action required Stanford-AI-for-LEAN-Club:bubble-sort-basic
Stanford-AI-for-LEAN-Club:bubble-sort-basic
Action required
Merge main to nightly-testing Merge main to nightly-testing #1587: Scheduled
52s main
main
52s
Merge main to nightly-testing Merge main to nightly-testing #1586: Scheduled
52s main
main
52s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1001: Scheduled
1m 4s main
main
1m 4s
Merge main to nightly-testing Merge main to nightly-testing #1585: 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. #1766: completed by jessealama
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1765: completed by jessealama
1s
1s
feat(CombinatoryLogic): Partrec → SKI computability Check PR title for commit convention #1810: Pull request #403 synchronize by jessealama
8s jessealama:ski-equivalence
jessealama:ski-equivalence
8s
feat(CombinatoryLogic): Partrec → SKI computability Lean Action CI #2870: Pull request #403 synchronize by jessealama
4m 40s jessealama:ski-equivalence
jessealama:ski-equivalence
4m 40s
feat(CombinatoryLogic): Partrec → SKI computability Check PR title for commit convention #1809: Pull request #403 synchronize by jessealama
6s jessealama:ski-equivalence
jessealama:ski-equivalence
6s
feat(CombinatoryLogic): Partrec → SKI computability Lean Action CI #2869: Pull request #403 synchronize by jessealama
5m 4s jessealama:ski-equivalence
jessealama:ski-equivalence
5m 4s
feat(CombinatoryLogic): Partrec → SKI computability Check PR title for commit convention #1808: Pull request #403 edited by jessealama
7s jessealama:ski-equivalence
jessealama:ski-equivalence
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1764: completed by jessealama
1s
1s
feat(CombinatoryLogic): Partrec → SKI computability Check PR title for commit convention #1807: Pull request #403 synchronize by jessealama
9s jessealama:ski-equivalence
jessealama:ski-equivalence
9s
feat(CombinatoryLogic): Partrec → SKI computability Lean Action CI #2868: Pull request #403 synchronize by jessealama
3m 28s jessealama:ski-equivalence
jessealama:ski-equivalence
3m 28s
feat(Cryptography): formalise perfect secrecy and the one-time pad Check PR title for commit convention #1806: Pull request #464 synchronize by SamuelSchlesinger
Action required SamuelSchlesinger:perfect-secrecy
SamuelSchlesinger:perfect-secrecy
Action required
feat(Cryptography): formalise perfect secrecy and the one-time pad Lean Action CI #2867: Pull request #464 synchronize by SamuelSchlesinger
Action required SamuelSchlesinger:perfect-secrecy
SamuelSchlesinger:perfect-secrecy
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1000: Scheduled
55s main
main
55s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1763: completed by SamuelSchlesinger
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1762: completed by SamuelSchlesinger
2s
2s
feat(Cryptography): formalise perfect secrecy and the one-time pad Lean Action CI #2866: Pull request #464 synchronize by SamuelSchlesinger
2m 45s SamuelSchlesinger:perfect-secrecy
SamuelSchlesinger:perfect-secrecy
2m 45s
feat(Cryptography): formalise perfect secrecy and the one-time pad Check PR title for commit convention #1805: Pull request #464 synchronize by SamuelSchlesinger
10s SamuelSchlesinger:perfect-secrecy
SamuelSchlesinger:perfect-secrecy
10s