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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2027: completed by SamuelSchlesinger
2s
2s
feat(Cryptography/SecretSharing): Shamir's secret sharing Lean Action CI #3187: Pull request #495 synchronize by SamuelSchlesinger
8m 59s SamuelSchlesinger:shamir-secret-sharing
SamuelSchlesinger:shamir-secret-sharing
8m 59s
feat(Cryptography/SecretSharing): Shamir's secret sharing Check PR title for commit convention #2077: Pull request #495 synchronize by SamuelSchlesinger
7s SamuelSchlesinger:shamir-secret-sharing
SamuelSchlesinger:shamir-secret-sharing
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2026: completed by mathlib-nightly-testing Bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2025: completed by mathlib-nightly-testing Bot
18s
18s
chore: adaptations for nightly-2026-04-23 Lean Action CI #3186: Commit 31ec1a8 pushed by mathlib-nightly-testing Bot
5m 11s nightly-testing
nightly-testing
5m 11s
chore: adaptations for nightly-2026-04-23 Check PR title for commit convention #2076: Pull request #515 opened by mathlib-nightly-testing Bot
7s bump/nightly-2026-04-23
bump/nightly-2026-04-23
7s
chore: adaptations for nightly-2026-04-23 Lean Action CI #3185: Pull request #515 opened by mathlib-nightly-testing Bot
8m 39s bump/nightly-2026-04-23
bump/nightly-2026-04-23
8m 39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2024: completed by mathlib-nightly-testing Bot
33s
33s
chore: bump to nightly-2026-04-23 with mathlib at nightly-testing-202… Lean Action CI #3184: Commit 8bedd14 pushed by mathlib-nightly-testing Bot
8m 53s nightly-testing
nightly-testing
8m 53s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1108: Scheduled
1m 20s main
main
1m 20s
Merge main to nightly-testing Merge main to nightly-testing #1758: Scheduled
55s main
main
55s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1107: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #1757: Scheduled
1m 3s main
main
1m 3s
Merge main to nightly-testing Merge main to nightly-testing #1756: Scheduled
1m 10s main
main
1m 10s
Merge main to nightly-testing Merge main to nightly-testing #1755: Scheduled
1m 9s main
main
1m 9s
Merge main to nightly-testing Merge main to nightly-testing #1754: Scheduled
1m 13s main
main
1m 13s
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