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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #485: Scheduled
59s main
main
59s
Merge main to nightly-testing Merge main to nightly-testing #484: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #483: Scheduled
44s main
main
44s
Merge main to nightly-testing Merge main to nightly-testing #482: Scheduled
56s main
main
56s
Merge main to nightly-testing Merge main to nightly-testing #481: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #480: Scheduled
55s main
main
55s
Merge main to nightly-testing Merge main to nightly-testing #479: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #478: Scheduled
44s main
main
44s
Merge main to nightly-testing Merge main to nightly-testing #477: Scheduled
43s main
main
43s
Merge main to nightly-testing Merge main to nightly-testing #476: Scheduled
47s main
main
47s
Merge main to nightly-testing Merge main to nightly-testing #475: Scheduled
52s main
main
52s
Merge main to nightly-testing Merge main to nightly-testing #474: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #473: Scheduled
54s main
main
54s
Merge main to nightly-testing Merge main to nightly-testing #472: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #471: Scheduled
55s main
main
55s
Merge main to nightly-testing Merge main to nightly-testing #470: Scheduled
1m 36s main
main
1m 36s
Merge main to nightly-testing Merge main to nightly-testing #469: Scheduled
58s main
main
58s
Merge main to nightly-testing Merge main to nightly-testing #468: Scheduled
1m 2s main
main
1m 2s
Merge main to nightly-testing Merge main to nightly-testing #467: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #466: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #465: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #464: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #463: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #462: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #461: Scheduled
58s main
main
58s