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
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly Merge main to nightly #24: Scheduled
5s main
main
5s
Merge main to nightly Merge main to nightly #23: Scheduled
17m 47s main
main
17m 47s
Merge main to nightly Merge main to nightly #22: Scheduled
17m 54s main
main
17m 54s
Merge main to nightly Merge main to nightly #21: Scheduled
17m 38s main
main
17m 38s
Merge main to nightly Merge main to nightly #20: Scheduled
19m 14s main
main
19m 14s
Merge main to nightly Merge main to nightly #19: Manually run by david-christiansen
17m 42s main
main
17m 42s
Merge main to nightly Merge main to nightly #18: Scheduled
20m 11s main
main
20m 11s
Merge main to nightly Merge main to nightly #17: Scheduled
16m 39s main
main
16m 39s
Merge main to nightly Merge main to nightly #16: Scheduled
17m 34s main
main
17m 34s
Merge main to nightly Merge main to nightly #15: Scheduled
17m 11s main
main
17m 11s
Merge main to nightly Merge main to nightly #14: Scheduled
17m 39s main
main
17m 39s
Merge main to nightly Merge main to nightly #13: Scheduled
17m 0s main
main
17m 0s
Merge main to nightly Merge main to nightly #12: Scheduled
17m 29s main
main
17m 29s
Merge main to nightly Merge main to nightly #11: Scheduled
17m 36s main
main
17m 36s
Merge main to nightly Merge main to nightly #10: Scheduled
16m 57s main
main
16m 57s
Merge main to nightly Merge main to nightly #9: Manually run by david-christiansen
25m 45s main
main
25m 45s
Merge main to nightly Merge main to nightly #8: Scheduled
16m 47s main
main
16m 47s
Merge main to nightly Merge main to nightly #7: Scheduled
16m 10s main
main
16m 10s
Merge main to nightly Merge main to nightly #6: Scheduled
15m 39s main
main
15m 39s
Merge main to nightly Merge main to nightly #5: Manually run by david-christiansen
15m 52s main
main
15m 52s
Merge main to nightly Merge main to nightly #4: Manually run by david-christiansen
16m 49s merge-main-script
merge-main-script
16m 49s
Merge main to nightly Merge main to nightly #3: Manually run by david-christiansen
42s merge-main-script
merge-main-script
42s
Merge main to nightly Merge main to nightly #2: Manually run by david-christiansen
1m 34s merge-main-script
merge-main-script
1m 34s
Merge main to nightly Merge main to nightly #1: Manually run by david-christiansen
7s main
main
7s