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 #1938: Scheduled
1m 9s main
main
1m 9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1224: Scheduled
1m 4s main
main
1m 4s
Merge main to nightly-testing Merge main to nightly-testing #1937: Scheduled
56s main
main
56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2247: completed by mathlib-nightly-testing Bot
2s
2s
chore: Bump mathlib dependency to 54f98fd Lean Action CI #3441: Pull request #552 synchronize by mathlib-nightly-testing Bot
10m 37s hopscotch/lkg-bump
hopscotch/lkg-bump
10m 37s
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2298: Pull request #552 synchronize by mathlib-nightly-testing Bot
7s hopscotch/lkg-bump
hopscotch/lkg-bump
7s
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2297: Pull request #552 edited by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
Bump mathlib to LKG Bump mathlib to LKG #49: Scheduled
4m 57s main
main
4m 57s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1223: Scheduled
1m 5s main
main
1m 5s
Merge main to nightly-testing Merge main to nightly-testing #1936: Scheduled
59s main
main
59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1222: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #1935: Scheduled
59s main
main
59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1221: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #1934: Scheduled
57s main
main
57s
Feat(Cryptography): Signed Barrett reduction algorithm Lean Action CI #3440: Pull request #523 synchronize by atrieu
Action required atrieu:alix/signed_barrett
atrieu:alix/signed_barrett
Action required
Feat(Cryptography): Signed Barrett reduction algorithm Check PR title for commit convention #2296: Pull request #523 synchronize by atrieu
Action required atrieu:alix/signed_barrett
atrieu:alix/signed_barrett
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1220: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #1933: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #1932: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #1931: Scheduled
57s main
main
57s
feat(Data/PFunctor): add free monad of a polynomial functor Lean Action CI #3439: 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 Check PR title for commit convention #2295: Pull request #477 synchronize by quangvdao
Action required quangvdao:quangvdao/pfunctor-freem
quangvdao:quangvdao/pfunctor-freem
Action required
Merge main to nightly-testing Merge main to nightly-testing #1930: Scheduled
1m 0s main
main
1m 0s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1219: Scheduled
58s main
main
58s
Merge main to nightly-testing Merge main to nightly-testing #1929: Scheduled
56s main
main
56s