Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,357 workflow runs
8,357 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #1428: Scheduled
3m 13s main
main
3m 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1465: completed by Shreyas4991
1s
1s
feat: query model for single tape TM Check PR title for commit convention #1508: Pull request #416 synchronize by Shreyas4991
6s Shreyas4991:TM_Lang
Shreyas4991:TM_Lang
6s
feat: query model for single tape TM Lean Action CI #2541: Pull request #416 synchronize by Shreyas4991
6m 49s Shreyas4991:TM_Lang
Shreyas4991:TM_Lang
6m 49s
Merge main to nightly-testing Merge main to nightly-testing #1427: 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. #1464: completed by eric-wieser
1s
1s
feat: monadic lemmas for FreeM.liftM Check PR title for commit convention #1507: Pull request #423 opened by eric-wieser
5s freeM-map
freeM-map
5s
feat: monadic lemmas for FreeM.liftM Lean Action CI #2540: Pull request #423 opened by eric-wieser
9m 0s freeM-map
freeM-map
9m 0s
Merge main to nightly-testing Merge main to nightly-testing #1426: Scheduled
55s main
main
55s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1463: completed by chenson2018
Skipped
Skipped
feat: StrongNormalizationUntypedAndStlc Check PR title for commit convention #1506: Pull request #411 synchronize by chenson2018
8s WegmannDavid:main
WegmannDavid:main
8s
feat: StrongNormalizationUntypedAndStlc Lean Action CI #2539: Pull request #411 synchronize by chenson2018
5m 38s WegmannDavid:main
WegmannDavid:main
5m 38s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #901: Scheduled
27s main
main
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1462: completed by chenson2018
1s
1s
Merge main to nightly-testing Merge main to nightly-testing #1425: 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. #1461: completed by chenson2018
2s
2s
feat: StrongNormalizationUntypedAndStlc Check PR title for commit convention #1505: Pull request #411 synchronize by chenson2018
6s WegmannDavid:main
WegmannDavid:main
6s
feat: StrongNormalizationUntypedAndStlc Lean Action CI #2538: Pull request #411 synchronize by chenson2018
5m 59s WegmannDavid:main
WegmannDavid:main
5m 59s
feat: StrongNormalizationUntypedAndStlc Check PR title for commit convention #1504: Pull request #411 synchronize by chenson2018
8s WegmannDavid:main
WegmannDavid:main
8s
feat: StrongNormalizationUntypedAndStlc Lean Action CI #2537: Pull request #411 synchronize by chenson2018
15m 15s WegmannDavid:main
WegmannDavid:main
15m 15s
ci: set TEST_ARGS manually Check PR title for commit convention #1503: Pull request #422 edited by chenson2018
8s test-args-temp
test-args-temp
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1460: completed by chenson2018
1s
1s
ci: set TEST_ARGS manually Check PR title for commit convention #1502: Pull request #422 edited by chenson2018
7s test-args-temp
test-args-temp
7s
ci: set TEST_ARGS manually Check PR title for commit convention #1501: Pull request #422 edited by chenson2018
5s test-args-temp
test-args-temp
5s
ci: set TEST_ARGS manually Lean Action CI #2536: Pull request #422 synchronize by chenson2018
5m 22s test-args-temp
test-args-temp
5m 22s