Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,937 workflow runs
2,937 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: #grind_lint check Lean Action CI #1099: Pull request #189 opened by chenson2018
9m 31s grind-lint
grind-lint
9m 31s
test: #grind_lint check Check PR title for commit convention #258: Pull request #189 opened by chenson2018
8s grind-lint
grind-lint
8s
test: #grind_lint check Lean Action CI #1098: Commit 78c62bb pushed by chenson2018
10m 19s grind-lint
grind-lint
10m 19s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #368: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #582: Scheduled
56s main
main
56s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #367: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #581: Scheduled
49s main
main
49s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #366: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #580: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #579: Scheduled
56s main
main
56s
Merge main to nightly-testing Merge main to nightly-testing #578: Scheduled
54s main
main
54s
Merge main to nightly-testing Merge main to nightly-testing #577: Scheduled
50s main
main
50s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #365: Scheduled
26s main
main
26s
Merge main to nightly-testing Merge main to nightly-testing #576: Scheduled
1m 0s main
main
1m 0s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #364: Scheduled
26s main
main
26s
Merge main to nightly-testing Merge main to nightly-testing #575: Scheduled
57s main
main
57s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #363: Scheduled
25s main
main
25s
Merge main to nightly-testing Merge main to nightly-testing #574: Scheduled
1m 1s main
main
1m 1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #362: Scheduled
26s main
main
26s
Merge main to nightly-testing Merge main to nightly-testing #573: Scheduled
47s main
main
47s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #361: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #572: Scheduled
1m 4s main
main
1m 4s
Merge main to nightly-testing Merge main to nightly-testing #571: Scheduled
1m 3s main
main
1m 3s
Merge main to nightly-testing Merge main to nightly-testing #570: Scheduled
49s main
main
49s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #136: completed by chenson2018
1s
1s