Skip to content

Actions: leanprover/reference-manual

Actions

Merge main to nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
merge-main-nightly.yml
363 workflow runs
363 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly Merge main to nightly #363: Scheduled
2m 5s main
main
2m 5s
Merge main to nightly Merge main to nightly #362: Scheduled
2m 40s main
main
2m 40s
Merge main to nightly Merge main to nightly #361: Scheduled
6m 47s main
main
6m 47s
Merge main to nightly Merge main to nightly #360: Scheduled
5m 44s main
main
5m 44s
Merge main to nightly Merge main to nightly #359: Scheduled
5m 56s main
main
5m 56s
Merge main to nightly Merge main to nightly #358: Scheduled
5m 43s main
main
5m 43s
Merge main to nightly Merge main to nightly #357: Scheduled
5m 37s main
main
5m 37s
Merge main to nightly Merge main to nightly #356: Scheduled
6m 37s main
main
6m 37s
Merge main to nightly Merge main to nightly #355: Scheduled
5m 37s main
main
5m 37s
Merge main to nightly Merge main to nightly #354: Scheduled
37m 31s main
main
37m 31s
Merge main to nightly Merge main to nightly #353: Scheduled
6m 15s main
main
6m 15s
Merge main to nightly Merge main to nightly #352: Scheduled
6m 20s main
main
6m 20s
Merge main to nightly Merge main to nightly #351: Scheduled
5m 53s main
main
5m 53s
Merge main to nightly Merge main to nightly #350: Scheduled
6m 31s main
main
6m 31s
Merge main to nightly Merge main to nightly #349: Scheduled
6m 31s main
main
6m 31s
Merge main to nightly Merge main to nightly #348: Scheduled
6m 24s main
main
6m 24s
Merge main to nightly Merge main to nightly #347: Scheduled
5m 59s main
main
5m 59s
Merge main to nightly Merge main to nightly #346: Scheduled
5m 56s main
main
5m 56s
Merge main to nightly Merge main to nightly #345: Scheduled
6m 1s main
main
6m 1s
Merge main to nightly Merge main to nightly #344: Scheduled
5m 42s main
main
5m 42s
Merge main to nightly Merge main to nightly #343: Scheduled
2m 46s main
main
2m 46s
Merge main to nightly Merge main to nightly #342: Scheduled
5m 57s main
main
5m 57s
Merge main to nightly Merge main to nightly #341: Scheduled
6m 0s main
main
6m 0s
Merge main to nightly Merge main to nightly #340: Scheduled
6m 11s main
main
6m 11s
Merge main to nightly Merge main to nightly #339: Scheduled
6m 21s main
main
6m 21s