Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,208 workflow runs
4,208 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 #543: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #862: Scheduled
47s main
main
47s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #542: Scheduled
27s main
main
27s
Merge main to nightly-testing Merge main to nightly-testing #861: Scheduled
57s main
main
57s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #541: Scheduled
17s main
main
17s
Merge main to nightly-testing Merge main to nightly-testing #860: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #859: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #858: Scheduled
1m 3s main
main
1m 3s
Merge main to nightly-testing Merge main to nightly-testing #857: Scheduled
53s main
main
53s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #438: completed by ctchou
1s
1s
feat: prove that regular languages are closed under Kleene star Check PR title for commit convention #450: Pull request #241 edited by ctchou
6s ctchou:na-kstar
ctchou:na-kstar
6s
feat: prove that regular languages are closed under concatenation Check PR title for commit convention #449: Pull request #239 edited by ctchou
7s ctchou:na-total
ctchou:na-total
7s
feat: prove that regular languages are closed under Kleene star Lean Action CI #1399: Pull request #241 opened by ctchou
7m 1s ctchou:na-kstar
ctchou:na-kstar
7m 1s
feat: prove that regular languages are closed under Kleene star Check PR title for commit convention #448: Pull request #241 opened by ctchou
7s ctchou:na-kstar
ctchou:na-kstar
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #540: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #856: Scheduled
48s main
main
48s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #539: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #855: Scheduled
56s main
main
56s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #538: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #854: Scheduled
55s main
main
55s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #537: Scheduled
32s main
main
32s
Merge main to nightly-testing Merge main to nightly-testing #853: Scheduled
49s main
main
49s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #536: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #852: Scheduled
47s main
main
47s
Merge main to nightly-testing Merge main to nightly-testing #851: Scheduled
57s main
main
57s