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 #1111: Scheduled
1m 12s main
main
1m 12s
Merge main to nightly-testing Merge main to nightly-testing #1761: Scheduled
1m 14s main
main
1m 14s
chore: Bump mathlib dependency to 400c830 Check PR title for commit convention #2079: Pull request #512 edited by mathlib-nightly-testing Bot
8s hopscotch/lkg-bump
hopscotch/lkg-bump
8s
chore: Bump mathlib dependency to 400c830 Lean Action CI #3188: Pull request #512 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
chore: Bump mathlib dependency to 400c830 Check PR title for commit convention #2078: Pull request #512 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib to LKG Bump mathlib to LKG #25: Scheduled
4m 49s main
main
4m 49s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1110: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #1760: Scheduled
59s main
main
59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1109: Scheduled
1m 48s main
main
1m 48s
Merge main to nightly-testing Merge main to nightly-testing #1759: 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. #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