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 #1254: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #1985: Scheduled
1m 16s main
main
1m 16s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2316: completed by mathlib-nightly-testing Bot
2s
2s
chore: Bump mathlib dependency to 70be100 Lean Action CI #3520: Pull request #552 synchronize by mathlib-nightly-testing Bot
8m 56s hopscotch/lkg-bump
hopscotch/lkg-bump
8m 56s
chore: Bump mathlib dependency to 70be100 Check PR title for commit convention #2398: Pull request #552 synchronize by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to 70be100 Check PR title for commit convention #2397: Pull request #552 edited by mathlib-nightly-testing Bot
5s hopscotch/lkg-bump
hopscotch/lkg-bump
5s
Bump mathlib to LKG Bump mathlib to LKG #55: Scheduled
10m 0s main
main
10m 0s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1253: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #1984: 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. #2315: completed by ctchou
2s
2s
feat(LambdaCalculus): basics of named representation (alpha equivalence and capture-avoiding substitution) Check PR title for commit convention #2393: Pull request #458 synchronize by chenson2018
Action required yinhaoxuan:named_lambda_calculus
yinhaoxuan:named_lambda_calculus
Action required
feat(LambdaCalculus): basics of named representation (alpha equivalence and capture-avoiding substitution) Lean Action CI #3517: Pull request #458 synchronize by chenson2018
Action required yinhaoxuan:named_lambda_calculus
yinhaoxuan:named_lambda_calculus
Action required
feat: proof of Myhill-Nerode theorem for DFAs Check PR title for commit convention #2392: Pull request #491 synchronize by ctchou
10s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
10s
feat: proof of Myhill-Nerode theorem for DFAs Lean Action CI #3516: Pull request #491 synchronize by ctchou
5m 8s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
5m 8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1252: Scheduled
23s main
main
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2314: completed by mathlib-nightly-testing Bot
25s
25s
Merge main into nightly-testing Lean Action CI #3515: Commit 4d9624d pushed by mathlib-nightly-testing Bot
8m 43s nightly-testing
nightly-testing
8m 43s
Merge main to nightly-testing Merge main to nightly-testing #1983: Scheduled
59s main
main
59s
Start general definitions for computation models Lean Action CI #3514: Pull request #550 synchronize by kesslermaximilian
Action required kesslermaximilian:computation-model-typeclasses
kesslermaximilian:computation-model-typeclasses
Action required
Start general definitions for computation models Check PR title for commit convention #2391: Pull request #550 synchronize by kesslermaximilian
Action required kesslermaximilian:computation-model-typeclasses
kesslermaximilian:computation-model-typeclasses
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2313: completed by github-merge-queue Bot
3s
3s
refactor: use Option State rather than Sum State Unit in `LTS.tot… Run TODO to Issue #266: Commit f3c2894 pushed by github-merge-queue Bot
23s main
main
23s
refactor: use Option State rather than Sum State Unit in `LTS.tot… Lean Action CI #3513: Commit f3c2894 pushed by github-merge-queue Bot
9m 3s main
main
9m 3s
refactor: use Option State rather than Sum State Unit in `LTS.tot… Build and Deploy Documentation #180: Commit f3c2894 pushed by github-merge-queue Bot
43m 0s main
main
43m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2312: completed by fmontesi
3s
3s