Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,144 workflow runs
4,144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #838: Scheduled
57s main
main
57s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #527: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #837: Scheduled
1m 8s main
main
1m 8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #526: Scheduled
26s main
main
26s
Merge main to nightly-testing Merge main to nightly-testing #836: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #835: Scheduled
49s main
main
49s
Weekly linting report Weekly linting report #6: Scheduled
7m 53s main
main
7m 53s
Merge main to nightly-testing Merge main to nightly-testing #834: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #833: Scheduled
1m 1s main
main
1m 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #431: completed by ctchou
Skipped
Skipped
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #525: Scheduled
20s main
main
20s
feat: prove that regular languages are closed under concatenation Lean Action CI #1392: Pull request #239 synchronize by ctchou
7m 2s ctchou:na-total
ctchou:na-total
7m 2s
feat: prove that regular languages are closed under concatenation Check PR title for commit convention #441: Pull request #239 synchronize by ctchou
7s ctchou:na-total
ctchou:na-total
7s
Merge main to nightly-testing Merge main to nightly-testing #832: Scheduled
59s main
main
59s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #524: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #831: Scheduled
48s main
main
48s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #523: Scheduled
23s main
main
23s
Merge main to nightly-testing Merge main to nightly-testing #830: Scheduled
54s main
main
54s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #522: Scheduled
25s main
main
25s
Merge main to nightly-testing Merge main to nightly-testing #829: Scheduled
50s main
main
50s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #521: Scheduled
27s main
main
27s
Merge main to nightly-testing Merge main to nightly-testing #828: Scheduled
54s main
main
54s
Merge main to nightly-testing Merge main to nightly-testing #827: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #826: Scheduled
53s main
main
53s
Merge main to nightly-testing Merge main to nightly-testing #825: Scheduled
1m 5s main
main
1m 5s