Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,008 workflow runs
9,008 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1630: completed by ctchou
1s
1s
feat: prove that omega-regular languages are closed under complementation Check PR title for commit convention #1697: Pull request #329 edited by ctchou
8s ctchou:buchi-compl
ctchou:buchi-compl
8s
feat: prove that omega-regular languages are closed under complementation Check PR title for commit convention #1696: Pull request #329 synchronize by ctchou
5s ctchou:buchi-compl
ctchou:buchi-compl
5s
feat: prove that omega-regular languages are closed under complementation Lean Action CI #2732: Pull request #329 synchronize by ctchou
7m 2s ctchou:buchi-compl
ctchou:buchi-compl
7m 2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #941: Scheduled
1m 5s main
main
1m 5s
Merge main to nightly-testing Merge main to nightly-testing #1489: Scheduled
1m 1s main
main
1m 1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #940: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #1488: Scheduled
1m 7s main
main
1m 7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1629: completed by ctchou
2s
2s
chore: rename definitions and theorems about LTS.Execution and LTS.OmegaExecution Lean Action CI #2731: Pull request #449 opened by ctchou
10m 48s ctchou:lts-exec-rename
ctchou:lts-exec-rename
10m 48s
chore: rename definitions and theorems about LTS.Execution and LTS.OmegaExecution Check PR title for commit convention #1695: Pull request #449 opened by ctchou
7s ctchou:lts-exec-rename
ctchou:lts-exec-rename
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #939: Scheduled
52s main
main
52s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1628: completed by ctchou
1s
1s
feat: prove that omega-regular languages are closed under complementation Check PR title for commit convention #1694: Pull request #329 synchronize by ctchou
6s ctchou:buchi-compl
ctchou:buchi-compl
6s
feat: prove that omega-regular languages are closed under complementation Lean Action CI #2730: Pull request #329 synchronize by ctchou
9m 10s ctchou:buchi-compl
ctchou:buchi-compl
9m 10s
Merge main to nightly-testing Merge main to nightly-testing #1487: Scheduled
1m 2s main
main
1m 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1627: completed by ayberkt
1s
1s
feat: define the category of LTSs Check PR title for commit convention #1693: Pull request #391 synchronize by ayberkt
8s ayberkt:main
ayberkt:main
8s
feat: define the category of LTSs Lean Action CI #2729: Pull request #391 synchronize by ayberkt
5m 42s ayberkt:main
ayberkt:main
5m 42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1626: completed by chenson2018
1s
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #938: Scheduled
58s main
main
58s
feat: define the category of LTSs Lean Action CI #2728: Pull request #391 synchronize by chenson2018
6m 0s ayberkt:main
ayberkt:main
6m 0s
feat: define the category of LTSs Check PR title for commit convention #1692: Pull request #391 synchronize by chenson2018
9s ayberkt:main
ayberkt:main
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1625: completed by chenson2018
1s
1s
feat: define the category of LTSs Check PR title for commit convention #1691: Pull request #391 synchronize by chenson2018
8s ayberkt:main
ayberkt:main
8s