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
Merge main to nightly-testing Merge main to nightly-testing #2693: Scheduled
1m 8s main
main
1m 8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3494: completed by ctchou
1s
1s
refactor(LTS): convert LTS.Execution from a Prop to a structure Lean Action CI #4732: Pull request #806 synchronize by ctchou
9m 2s ctchou:refactor-lts-exec
ctchou:refactor-lts-exec
9m 2s
refactor(LTS): convert LTS.Execution from a Prop to a structure Check PR title for commit convention #3623: Pull request #806 synchronize by ctchou
8s ctchou:refactor-lts-exec
ctchou:refactor-lts-exec
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3493: completed by mathlib-nightly-testing Bot
18s
18s
Merge main into nightly-testing Lean Action CI #4731: Commit d81ef83 pushed by mathlib-nightly-testing Bot
7m 51s nightly-testing
nightly-testing
7m 51s
Merge main to nightly-testing Merge main to nightly-testing #2692: 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. #3492: completed by SamuelSchlesinger
7s
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3491: completed by SamuelSchlesinger
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3490: completed by SamuelSchlesinger
1s
1s
refactor(Crypto): replace bespoke constructions with Mathlib abstractions Check PR title for commit convention #3622: Pull request #813 synchronize by SamuelSchlesinger
8s SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
8s
chore: remove FinFun, a duplicate of Mathlib's Finsupp Lean Action CI #4730: Pull request #814 synchronize by SamuelSchlesinger
5m 29s SamuelSchlesinger:samschlesinger/remove-finfun
SamuelSchlesinger:samschlesinger/remove-finfun
5m 29s
chore: remove FinFun, a duplicate of Mathlib's Finsupp Check PR title for commit convention #3621: Pull request #814 synchronize by SamuelSchlesinger
6s SamuelSchlesinger:samschlesinger/remove-finfun
SamuelSchlesinger:samschlesinger/remove-finfun
6s
refactor(Crypto): replace bespoke constructions with Mathlib abstractions Lean Action CI #4729: Pull request #813 synchronize by SamuelSchlesinger
4m 55s SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
4m 55s
feat(Crypto): Commitment Schemes Check PR title for commit convention #3620: Pull request #766 synchronize by SamuelSchlesinger
6s SamuelSchlesinger:samschlesinger/commitment-schemes
SamuelSchlesinger:samschlesinger/commitment-schemes
6s
feat(Crypto): Commitment Schemes Lean Action CI #4728: Pull request #766 synchronize by SamuelSchlesinger
4m 35s SamuelSchlesinger:samschlesinger/commitment-schemes
SamuelSchlesinger:samschlesinger/commitment-schemes
4m 35s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3489: completed by SamuelSchlesinger
8s
8s
refactor(Crypto): replace bespoke constructions with Mathlib abstractions Check PR title for commit convention #3619: Pull request #813 edited by SamuelSchlesinger
7s SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
7s
refactor(Crypto): replace bespoke constructions with Mathlib abstractions Lean Action CI #4727: Pull request #813 opened by SamuelSchlesinger
2m 8s SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
2m 8s
refactor(Crypto): replace bespoke constructions with Mathlib abstractions Check PR title for commit convention #3618: Pull request #813 opened by SamuelSchlesinger
8s SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
SamuelSchlesinger:samschlesinger/crypto-mathlib-cleanups
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3488: completed by github-merge-queue Bot
1s
1s
chore: bump mathlib to 29e0104, fix breaking changes (#812) Lean Action CI #4726: Commit 809bb39 pushed by github-merge-queue Bot
9m 32s main
main
9m 32s
chore: bump mathlib to 29e0104, fix breaking changes (#812) Build and Deploy Documentation #275: Commit 809bb39 pushed by github-merge-queue Bot
44m 26s main
main
44m 26s
chore: bump mathlib to 29e0104, fix breaking changes (#812) Run TODO to Issue #361: Commit 809bb39 pushed by github-merge-queue Bot
12s main
main
12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3487: completed by sorrachai
1s
1s