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 #1200: Scheduled
1m 26s main
main
1m 26s
Merge main to nightly-testing Merge main to nightly-testing #1903: Scheduled
1m 3s main
main
1m 3s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1199: Scheduled
59s main
main
59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2214: completed by mathlib-nightly-testing Bot
26s
26s
Merge main into nightly-testing Lean Action CI #3404: Commit 42933f4 pushed by mathlib-nightly-testing Bot
5m 49s nightly-testing
nightly-testing
5m 49s
Merge main to nightly-testing Merge main to nightly-testing #1902: Scheduled
1m 9s main
main
1m 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2213: completed by github-merge-queue Bot
2s
2s
ci: use INFO=true for weekly linting (#526) Lean Action CI #3403: Commit 2e5e64d pushed by github-merge-queue Bot
5m 22s main
main
5m 22s
ci: use INFO=true for weekly linting (#526) Build and Deploy Documentation #172: Commit 2e5e64d pushed by github-merge-queue Bot
4m 53s main
main
4m 53s
ci: use INFO=true for weekly linting (#526) Run TODO to Issue #258: Commit 2e5e64d pushed by github-merge-queue Bot
21s main
main
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2212: completed by fmontesi
2s
2s
Lean Action CI Lean Action CI #3402: Merge group checks requested
5m 50s
5m 50s
Check PR title for commit convention Check PR title for commit convention #2264: Merge group checks requested
13s
13s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1198: Scheduled
57s main
main
57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2211: completed by mathlib-nightly-testing Bot
27s
27s
Merge main into nightly-testing Lean Action CI #3401: Commit 1b21992 pushed by mathlib-nightly-testing Bot
8m 35s nightly-testing
nightly-testing
8m 35s
Merge main to nightly-testing Merge main to nightly-testing #1901: Scheduled
1m 2s main
main
1m 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2210: completed by github-merge-queue Bot
1s
1s
feat(Cryptography/SecretSharing): Shamir's secret sharing (#495) Build and Deploy Documentation #171: Commit 57e5054 pushed by github-merge-queue Bot
39m 32s main
main
39m 32s
feat(Cryptography/SecretSharing): Shamir's secret sharing (#495) Run TODO to Issue #257: Commit 57e5054 pushed by github-merge-queue Bot
14s main
main
14s
feat(Cryptography/SecretSharing): Shamir's secret sharing (#495) Lean Action CI #3400: Commit 57e5054 pushed by github-merge-queue Bot
5m 5s main
main
5m 5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2209: completed by fmontesi
1s
1s
Lean Action CI Lean Action CI #3399: Merge group checks requested
5m 29s
5m 29s
Check PR title for commit convention Check PR title for commit convention #2263: Merge group checks requested
14s
14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2208: completed by fmontesi
1s
1s