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 #2003: Scheduled
57s main
main
57s
simple functional queue from Okasaki Check PR title for commit convention #2445: 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 #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 Check PR title for commit convention #2444: 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
simple functional queue from Okasaki Check PR title for commit convention #2443: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
Merge main to nightly-testing Merge main to nightly-testing #2002: Scheduled
1m 7s main
main
1m 7s
feat(locallynameless): signature of fv theorems Check PR title for commit convention #2442: Pull request #588 edited by lengyijun
9s lengyijun:all
lengyijun:all
9s
feat(locallynameless): signature of fv theorems Check PR title for commit convention #2441: Pull request #588 edited by lengyijun
5s lengyijun:all
lengyijun:all
5s
feat(Crypto): Generalize encryption schemes over arbitrary monads Check PR title for commit convention #2440: 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 #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 Check PR title for commit convention #2439: Pull request #581 edited 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 Check PR title for commit convention #2438: Pull request #581 edited 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(Crypto): Generalize encryption schemes over arbitrary monads Check PR title for commit convention #2437: 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 Check PR title for commit convention #2436: 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 #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 Check PR title for commit convention #2435: 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
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1264: Scheduled
32s main
main
32s
Merge main to nightly-testing Merge main to nightly-testing #2001: Scheduled
57s main
main
57s
feat(Data/PFunctor): add free monad of a polynomial functor Check PR title for commit convention #2434: Pull request #477 synchronize by quangvdao
Action required quangvdao:quangvdao/pfunctor-freem
quangvdao:quangvdao/pfunctor-freem
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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2332: completed by SamuelSchlesinger
1s
1s