Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,847 workflow runs
6,847 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #797: Scheduled
26s main
main
26s
Merge main to nightly-testing Merge main to nightly-testing #1261: Scheduled
54s main
main
54s
Merge main to nightly-testing Merge main to nightly-testing #1260: Scheduled
51s main
main
51s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1088: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms Check PR title for commit convention #1072: Pull request #275 synchronize by Shreyas4991
7s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
7s
feat: query complexity model for algorithms Lean Action CI #2101: Pull request #275 synchronize by Shreyas4991
22m 48s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
22m 48s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1087: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms Check PR title for commit convention #1071: Pull request #275 synchronize by Shreyas4991
8s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
8s
feat: query complexity model for algorithms Lean Action CI #2100: Pull request #275 synchronize by Shreyas4991
4m 39s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
4m 39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1086: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms Check PR title for commit convention #1070: Pull request #275 edited by Shreyas4991
8s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
8s
feat: query complexity model for algorithms Check PR title for commit convention #1069: Pull request #275 synchronize by Shreyas4991
8s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
8s
feat: query complexity model for algorithms Lean Action CI #2099: Pull request #275 synchronize by Shreyas4991
4m 43s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
4m 43s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1085: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms Check PR title for commit convention #1068: Pull request #275 synchronize by Shreyas4991
8s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
8s
feat: query complexity model for algorithms Lean Action CI #2098: Pull request #275 synchronize by Shreyas4991
2m 44s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
2m 44s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1084: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms Check PR title for commit convention #1067: Pull request #275 synchronize by Shreyas4991
6s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
6s
feat: query complexity model for algorithms Lean Action CI #2097: Pull request #275 synchronize by Shreyas4991
1m 43s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
1m 43s
Merge main to nightly-testing Merge main to nightly-testing #1259: Scheduled
52s main
main
52s
feat: query complexity model for algorithms Check PR title for commit convention #1066: Pull request #275 edited by Shreyas4991
5s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
5s
feat: query complexity model for algorithms Check PR title for commit convention #1065: Pull request #275 edited by Shreyas4991
7s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1083: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms Lean Action CI #2096: Pull request #275 synchronize by Shreyas4991
1m 5s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
1m 5s
feat: query complexity model for algorithms Check PR title for commit convention #1064: Pull request #275 synchronize by Shreyas4991
8s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
8s