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 #1106: 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. #2023: completed by mathlib-nightly-testing Bot
21s
21s
Merge main into nightly-testing Lean Action CI #3183: Commit d6368a9 pushed by mathlib-nightly-testing Bot
7m 49s nightly-testing
nightly-testing
7m 49s
feat(Protocols): Sigma protocols and Schnorr identification Lean Action CI #3182: Pull request #472 synchronize by ChristianoBraga
Action required Beneficial-AI-Foundation:sigma_protocols_pr
Beneficial-AI-Foundation:sigma_protocols_pr
Action required
feat(Protocols): Sigma protocols and Schnorr identification Check PR title for commit convention #2075: Pull request #472 synchronize by ChristianoBraga
Action required Beneficial-AI-Foundation:sigma_protocols_pr
Beneficial-AI-Foundation:sigma_protocols_pr
Action required
Merge main to nightly-testing Merge main to nightly-testing #1753: Scheduled
1m 6s main
main
1m 6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2022: completed by tannerduve
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2021: completed by tannerduve
1s
1s
chore: Bump mathlib dependency to 885827f Lean Action CI #3181: Pull request #512 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
chore: Bump mathlib dependency to 885827f Check PR title for commit convention #2074: Pull request #512 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2020: completed by tannerduve
1s
1s
feat: soundness and completeness of linear logic phase semantics Lean Action CI #3180: Pull request #424 synchronize by tannerduve
5m 40s tannerduve:LL-sound-complete
tannerduve:LL-sound-complete
5m 40s
feat: soundness and completeness of linear logic phase semantics Check PR title for commit convention #2073: Pull request #424 synchronize by tannerduve
8s tannerduve:LL-sound-complete
tannerduve:LL-sound-complete
8s
feat: soundness and completeness of linear logic phase semantics Lean Action CI #3179: Pull request #424 synchronize by tannerduve
4m 55s tannerduve:LL-sound-complete
tannerduve:LL-sound-complete
4m 55s
feat: soundness and completeness of linear logic phase semantics Check PR title for commit convention #2072: Pull request #424 synchronize by tannerduve
9s tannerduve:LL-sound-complete
tannerduve:LL-sound-complete
9s
Bump mathlib to LKG Bump mathlib to LKG #24: Manually run by chenson2018
4m 55s main
main
4m 55s
feat: soundness and completeness of linear logic phase semantics Check PR title for commit convention #2071: Pull request #424 synchronize by tannerduve
11s tannerduve:LL-sound-complete
tannerduve:LL-sound-complete
11s
feat: soundness and completeness of linear logic phase semantics Lean Action CI #3178: Pull request #424 synchronize by tannerduve
5m 14s tannerduve:LL-sound-complete
tannerduve:LL-sound-complete
5m 14s
feat(Protocols): Key exchange protocols and Diffie-Hellman Check PR title for commit convention #2070: Pull request #473 synchronize by ChristianoBraga
Action required Beneficial-AI-Foundation:key_exchange_pr
Beneficial-AI-Foundation:key_exchange_pr
Action required
feat(Protocols): Key exchange protocols and Diffie-Hellman Lean Action CI #3177: Pull request #473 synchronize by ChristianoBraga
Action required Beneficial-AI-Foundation:key_exchange_pr
Beneficial-AI-Foundation:key_exchange_pr
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2019: completed by tannerduve
1s
1s
feat: soundness and completeness of linear logic phase semantics Lean Action CI #3176: Pull request #424 synchronize by tannerduve
1m 46s tannerduve:LL-sound-complete
tannerduve:LL-sound-complete
1m 46s
feat: soundness and completeness of linear logic phase semantics Check PR title for commit convention #2069: Pull request #424 synchronize by tannerduve
7s tannerduve:LL-sound-complete
tannerduve:LL-sound-complete
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2018: completed by eric-wieser
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2017: completed by tannerduve
2s
2s