Skip to content

Actions: leanprover/verso

Actions

Merge main to nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
merge-main-nightly.yml
1,271 workflow runs
1,271 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge main to nightly Merge main to nightly #1246: Scheduled
3m 14s main
main
3m 14s
Merge main to nightly Merge main to nightly #1245: Scheduled
2m 55s main
main
2m 55s
Merge main to nightly Merge main to nightly #1244: Scheduled
2m 33s main
main
2m 33s
Merge main to nightly Merge main to nightly #1243: Scheduled
2m 53s main
main
2m 53s
Merge main to nightly Merge main to nightly #1242: Scheduled
7m 25s main
main
7m 25s
Merge main to nightly Merge main to nightly #1241: Scheduled
7m 6s main
main
7m 6s
Merge main to nightly Merge main to nightly #1240: Scheduled
7m 12s main
main
7m 12s
Merge main to nightly Merge main to nightly #1239: Scheduled
8m 29s main
main
8m 29s
Merge main to nightly Merge main to nightly #1238: Scheduled
8m 10s main
main
8m 10s
Merge main to nightly Merge main to nightly #1237: Scheduled
8m 34s main
main
8m 34s
Merge main to nightly Merge main to nightly #1236: Scheduled
8m 40s main
main
8m 40s
Merge main to nightly Merge main to nightly #1235: Scheduled
8m 41s main
main
8m 41s
Merge main to nightly Merge main to nightly #1234: Scheduled
8m 38s main
main
8m 38s
Merge main to nightly Merge main to nightly #1233: Scheduled
8m 50s main
main
8m 50s
Merge main to nightly Merge main to nightly #1232: Scheduled
9m 13s main
main
9m 13s
Merge main to nightly Merge main to nightly #1231: Scheduled
8m 1s main
main
8m 1s
Merge main to nightly Merge main to nightly #1230: Scheduled
9m 48s main
main
9m 48s
Merge main to nightly Merge main to nightly #1229: Scheduled
8m 10s main
main
8m 10s
Merge main to nightly Merge main to nightly #1228: Scheduled
8m 38s main
main
8m 38s
Merge main to nightly Merge main to nightly #1227: Scheduled
8m 25s main
main
8m 25s
Merge main to nightly Merge main to nightly #1226: Scheduled
10m 59s main
main
10m 59s
Merge main to nightly Merge main to nightly #1225: Scheduled
8m 33s main
main
8m 33s
Merge main to nightly Merge main to nightly #1224: Scheduled
7m 35s main
main
7m 35s
Merge main to nightly Merge main to nightly #1223: Scheduled
7m 15s main
main
7m 15s
Merge main to nightly Merge main to nightly #1222: Scheduled
7m 21s main
main
7m 21s