Skip to content

Actions: leanprover/cslib

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
2,500+ workflow runs
2,500+ workflow runs

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
chore: bump to nightly-2026-05-25 with mathlib at nightly-testing-202… Lean Action CI #3561: Commit 1cb7da6 pushed by mathlib-nightly-testing Bot
9m 31s nightly-testing
nightly-testing
9m 31s
feat(Computability): Abstract machine model. Lean Action CI #3560: Pull request #595 synchronize by crei
Action required crei:computation_model
crei:computation_model
Action required
Merge main into nightly-testing Lean Action CI #3559: Commit 5fabfb6 pushed by mathlib-nightly-testing Bot
9m 4s nightly-testing
nightly-testing
9m 4s
feat(Foundations/Logic): Notation typeclasses and models Lean Action CI #3558: Pull request #587 synchronize by thomaskwaring
1m 4s thomaskwaring:models
thomaskwaring:models
1m 4s
feat: more lemmas on Euclidean relations Lean Action CI #3557: Pull request #574 synchronize by chenson2018
6m 44s chenson2018/more-euclidean
chenson2018/more-euclidean
6m 44s
chore: Bump mathlib dependency to d8de6b6 (#552) Lean Action CI #3556: Commit 107a51d pushed by github-merge-queue Bot
7m 33s main
main
7m 33s
Lean Action CI Lean Action CI #3555: Merge group checks requested
12m 13s
12m 13s
chore: Bump mathlib dependency to d8de6b6 Lean Action CI #3554: Pull request #552 synchronize by chenson2018
5m 9s hopscotch/lkg-bump
hopscotch/lkg-bump
5m 9s
chore: Bump mathlib dependency to d8de6b6 Lean Action CI #3553: Pull request #552 synchronize by chenson2018
3m 54s hopscotch/lkg-bump
hopscotch/lkg-bump
3m 54s
chore: Bump mathlib dependency to d8de6b6 Lean Action CI #3552: Pull request #552 synchronize by chenson2018
3m 10s hopscotch/lkg-bump
hopscotch/lkg-bump
3m 10s
simple functional queue from Okasaki Lean Action CI #3551: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Lean Action CI #3550: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Lean Action CI #3549: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
feat(Crypto): Generalize encryption schemes over arbitrary monads Lean Action CI #3548: Pull request #581 synchronize by dtumad
Action required dtumad:dtumad/monad-generic-encryption-schemes
dtumad:dtumad/monad-generic-encryption-schemes
Action required
feat(Crypto): Generalize encryption schemes over arbitrary monads Lean Action CI #3547: Pull request #581 synchronize by dtumad
Action required dtumad:dtumad/monad-generic-encryption-schemes
dtumad:dtumad/monad-generic-encryption-schemes
Action required
feat(MachineLearning/PACLearning): add VersionSpace abstraction Lean Action CI #3546: Pull request #592 synchronize by Zetetic-Dhruv
Action required Zetetic-Dhruv:version-space-v2
Zetetic-Dhruv:version-space-v2
Action required
feat(MachineLearning/PACLearning): add VersionSpace abstraction Lean Action CI #3545: Pull request #592 synchronize by Zetetic-Dhruv
Action required Zetetic-Dhruv:version-space-v2
Zetetic-Dhruv:version-space-v2
Action required
feat(Data/PFunctor): add free monad of a polynomial functor Lean Action CI #3544: Pull request #477 synchronize by quangvdao
Action required quangvdao:quangvdao/pfunctor-freem
quangvdao:quangvdao/pfunctor-freem
Action required
feat(Foundations/Combinatorics/BooleanFunctions): Fourier expansion, Plancherel, and Parseval Lean Action CI #3543: Pull request #596 opened by SamuelSchlesinger
6m 44s SamuelSchlesinger:samuelschlesinger/analysis-of-boolean-functions
SamuelSchlesinger:samuelschlesinger/analysis-of-boolean-functions
6m 44s
feat(FLP): distributed algorithms for solving the consensus problem Lean Action CI #3542: Pull request #556 synchronize by ctchou
5m 15s ctchou:flp-algorithm
ctchou:flp-algorithm
5m 15s
chore: Bump mathlib dependency to d8de6b6 Lean Action CI #3541: Pull request #552 synchronize by mathlib-nightly-testing Bot
6m 47s hopscotch/lkg-bump
hopscotch/lkg-bump
6m 47s
feat(Computability): Abstract machine model. Lean Action CI #3540: Pull request #595 opened by crei
Action required crei:computation_model
crei:computation_model
Action required
feat(Data/PFunctor): add free monad of a polynomial functor Lean Action CI #3539: Pull request #477 synchronize by quangvdao
Action required quangvdao:quangvdao/pfunctor-freem
quangvdao:quangvdao/pfunctor-freem
Action required
Merge main into nightly-testing Lean Action CI #3538: Commit 9ce3954 pushed by mathlib-nightly-testing Bot
9m 14s nightly-testing
nightly-testing
9m 14s
doc: link to Mathlib AI policy in CONTRIBUTING.md (#593) Lean Action CI #3537: Commit 85518e6 pushed by github-merge-queue Bot
5m 1s main
main
5m 1s