Skip to content

Actions: leanprover/cslib

Actions

Merge main to nightly-testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
merge_main_into_nightly-testing.yml
584 workflow runs
584 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #584: Scheduled
45s main
main
45s
Merge main to nightly-testing Merge main to nightly-testing #583: Scheduled
59s main
main
59s
Merge main to nightly-testing Merge main to nightly-testing #582: Scheduled
56s main
main
56s
Merge main to nightly-testing Merge main to nightly-testing #581: Scheduled
49s main
main
49s
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
Merge main to nightly-testing Merge main to nightly-testing #576: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #575: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #574: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #573: Scheduled
47s main
main
47s
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
Merge main to nightly-testing Merge main to nightly-testing #569: Scheduled
59s main
main
59s
Merge main to nightly-testing Merge main to nightly-testing #568: Scheduled
1m 3s main
main
1m 3s
Merge main to nightly-testing Merge main to nightly-testing #567: Scheduled
46s main
main
46s
Merge main to nightly-testing Merge main to nightly-testing #566: Scheduled
51s main
main
51s
Merge main to nightly-testing Merge main to nightly-testing #565: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #564: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #563: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #562: Scheduled
46s main
main
46s
Merge main to nightly-testing Merge main to nightly-testing #561: Scheduled
59s main
main
59s
Merge main to nightly-testing Merge main to nightly-testing #560: Scheduled
59s main
main
59s