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
748 workflow runs
748 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #748: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #747: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #746: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #745: Scheduled
53s main
main
53s
Merge main to nightly-testing Merge main to nightly-testing #744: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #743: Scheduled
58s main
main
58s
Merge main to nightly-testing Merge main to nightly-testing #742: Scheduled
53s main
main
53s
Merge main to nightly-testing Merge main to nightly-testing #741: Scheduled
52s main
main
52s
Merge main to nightly-testing Merge main to nightly-testing #740: Scheduled
2m 11s main
main
2m 11s
Merge main to nightly-testing Merge main to nightly-testing #739: Scheduled
55s main
main
55s
Merge main to nightly-testing Merge main to nightly-testing #738: Scheduled
51s main
main
51s
Merge main to nightly-testing Merge main to nightly-testing #737: Scheduled
54s main
main
54s
Merge main to nightly-testing Merge main to nightly-testing #736: Scheduled
1m 5s main
main
1m 5s
Merge main to nightly-testing Merge main to nightly-testing #735: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #734: Scheduled
1m 3s main
main
1m 3s
Merge main to nightly-testing Merge main to nightly-testing #733: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #732: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #731: Scheduled
51s main
main
51s
Merge main to nightly-testing Merge main to nightly-testing #730: Scheduled
45s main
main
45s
Merge main to nightly-testing Merge main to nightly-testing #729: Scheduled
46s main
main
46s
Merge main to nightly-testing Merge main to nightly-testing #728: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #727: Scheduled
47s main
main
47s
Merge main to nightly-testing Merge main to nightly-testing #726: Scheduled
50s main
main
50s
Merge main to nightly-testing Merge main to nightly-testing #725: Scheduled
45s main
main
45s
Merge main to nightly-testing Merge main to nightly-testing #724: Scheduled
1m 5s main
main
1m 5s