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 #1805: 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. #3935: 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. #3934: completed by mathlib-nightly-testing Bot
24s
24s
ci(weekly-lints): fail on a missing lint report and post a notice to Zulip Lean Action CI #5173: Pull request #886 opened by jessealama
5m 12s jessealama:ci/weekly-lints-guards
jessealama:ci/weekly-lints-guards
5m 12s
ci(weekly-lints): fail on a missing lint report and post a notice to Zulip Check PR title for commit convention #4108: Pull request #886 opened by jessealama
5s jessealama:ci/weekly-lints-guards
jessealama:ci/weekly-lints-guards
5s
Merge main into nightly-testing Lean Action CI #5172: Commit acaf604 pushed by mathlib-nightly-testing Bot
8m 55s nightly-testing
nightly-testing
8m 55s
Merge main to nightly-testing Merge main to nightly-testing #2861: Scheduled
1m 0s main
main
1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3933: 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. #3932: completed by SamuelSchlesinger
1s
1s
chore: Bump mathlib dependency to 572e4d0 Check PR title for commit convention #4107: Pull request #645 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to 572e4d0 Lean Action CI #5171: Pull request #645 synchronize by mathlib-nightly-testing Bot
10m 18s hopscotch/lkg-bump
hopscotch/lkg-bump
10m 18s
chore: Bump mathlib dependency to 572e4d0 Check PR title for commit convention #4106: Pull request #645 synchronize by mathlib-nightly-testing Bot
8s hopscotch/lkg-bump
hopscotch/lkg-bump
8s
feat(Computability): add generic circuit model Lean Action CI #5170: Pull request #841 synchronize by SamuelSchlesinger
5m 41s SamuelSchlesinger:samschles/circuits
SamuelSchlesinger:samschles/circuits
5m 41s
feat(Computability): add generic circuit model Check PR title for commit convention #4105: Pull request #841 synchronize by SamuelSchlesinger
8s SamuelSchlesinger:samschles/circuits
SamuelSchlesinger:samschles/circuits
8s
Bump mathlib to LKG Bump mathlib to LKG #165: Scheduled
5m 26s main
main
5m 26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3931: completed by github-merge-queue Bot
10s
10s
feat(Crypto): Commitment Schemes (#766) Lean Action CI #5169: Commit 7b6da00 pushed by github-merge-queue Bot
5m 28s main
main
5m 28s
feat(Crypto): Commitment Schemes (#766) Run TODO to Issue #394: Commit 7b6da00 pushed by github-merge-queue Bot
13s main
main
13s
feat(Crypto): Commitment Schemes (#766) Build and Deploy Documentation #308: Commit 7b6da00 pushed by github-merge-queue Bot
43m 53s main
main
43m 53s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3930: completed by fmontesi
1s
1s
Lean Action CI Lean Action CI #5168: Merge group checks requested
5m 30s
5m 30s
Check PR title for commit convention Check PR title for commit convention #4104: Merge group checks requested
9s
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3929: completed by github-merge-queue Bot
1s
1s
refactor(MultiTapeTM): read runFrom through Mathlib's iterate API (… Build and Deploy Documentation #307: Commit 718cbea pushed by github-merge-queue Bot
43m 54s main
main
43m 54s
refactor(MultiTapeTM): read runFrom through Mathlib's iterate API (… Lean Action CI #5167: Commit 718cbea pushed by github-merge-queue Bot
6m 2s main
main
6m 2s