Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,967 workflow runs
6,967 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 #810: Scheduled
30s main
main
30s
Merge main to nightly-testing Merge main to nightly-testing #1280: Scheduled
56s main
main
56s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #809: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #1279: Scheduled
53s main
main
53s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #808: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #1278: Scheduled
49s main
main
49s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #807: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #1277: Scheduled
52s main
main
52s
Merge main to nightly-testing Merge main to nightly-testing #1276: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #1275: 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. #1116: completed by Shreyas4991
Skipped
Skipped
feat: query complexity model for algorithms Lean Action CI #2129: Pull request #275 synchronize by Shreyas4991
10m 10s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
10m 10s
feat: query complexity model for algorithms Check PR title for commit convention #1100: Pull request #275 synchronize by Shreyas4991
8s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
8s
Merge main to nightly-testing Merge main to nightly-testing #1274: Scheduled
55s main
main
55s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #806: Scheduled
1m 4s main
main
1m 4s
Merge main to nightly-testing Merge main to nightly-testing #1273: 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. #1115: completed by BoltonBailey
1s
1s
feat: Single Tape Turing Machines Lean Action CI #2128: Pull request #269 synchronize by BoltonBailey
4m 34s BoltonBailey:single-tape-turing-machines
BoltonBailey:single-tape-turing-machines
4m 34s
feat: Single Tape Turing Machines Check PR title for commit convention #1099: Pull request #269 synchronize by BoltonBailey
6s BoltonBailey:single-tape-turing-machines
BoltonBailey:single-tape-turing-machines
6s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #805: Scheduled
1m 2s main
main
1m 2s
Merge main to nightly-testing Merge main to nightly-testing #1272: 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. #1114: completed by BoltonBailey
1s
1s
feat: Single Tape Turing Machines Check PR title for commit convention #1098: Pull request #269 synchronize by BoltonBailey
8s BoltonBailey:single-tape-turing-machines
BoltonBailey:single-tape-turing-machines
8s
feat: Single Tape Turing Machines Lean Action CI #2127: Pull request #269 synchronize by BoltonBailey
5m 4s BoltonBailey:single-tape-turing-machines
BoltonBailey:single-tape-turing-machines
5m 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1113: completed by BoltonBailey
1s
1s