Skip to content

Actions: leanprover/reference-manual

Actions

Apply Overlays

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
overlay.yml
37 workflow runs
37 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
Apply Overlays Apply Overlays #37: completed by Garmelon
2m 33s
2m 33s
Apply Overlays Apply Overlays #36: completed by Garmelon
2m 27s
2m 27s
Apply Overlays Apply Overlays #35: completed by david-christiansen
2m 24s
2m 24s
Apply Overlays Apply Overlays #34: completed by kim-em
2m 11s
2m 11s
Apply Overlays Apply Overlays #33: completed by Garmelon
2m 15s
2m 15s
Apply Overlays Apply Overlays #32: completed by Garmelon
2m 20s
2m 20s
Apply Overlays Apply Overlays #31: Manually run by david-christiansen
2m 11s main
main
2m 11s
Apply Overlays Apply Overlays #30: Manually run by david-christiansen
2m 8s main
main
2m 8s
Apply Overlays Apply Overlays #29: completed by kim-em
2m 9s
2m 9s
Apply Overlays Apply Overlays #28: completed by kim-em
2m 1s
2m 1s
Apply Overlays Apply Overlays #27: completed by kim-em
1m 50s
1m 50s
Apply Overlays Apply Overlays #26: completed by kim-em
1m 58s
1m 58s
Apply Overlays Apply Overlays #25: completed by kim-em
2m 2s
2m 2s
Apply Overlays Apply Overlays #24: completed by kim-em
1m 40s
1m 40s
Apply Overlays Apply Overlays #23: completed by kim-em
1m 48s
1m 48s
Apply Overlays Apply Overlays #22: completed by kim-em
1m 43s
1m 43s
Apply Overlays Apply Overlays #21: completed by kim-em
1m 34s
1m 34s
Apply Overlays Apply Overlays #20: completed by david-christiansen
1m 19s
1m 19s
Apply Overlays Apply Overlays #19: completed by david-christiansen
19m 51s
19m 51s
Apply Overlays Apply Overlays #18: completed by david-christiansen
1m 15s
1m 15s
Apply Overlays Apply Overlays #17: completed by david-christiansen
1m 22s
1m 22s
Merge remote-tracking branch 'upstream/main' into production-dual-site Apply Overlays #16: Commit 5562dfa pushed by david-christiansen
Failure production-dual-site
production-dual-site
Failure
Apply Overlays Apply Overlays #15: completed by david-christiansen
1m 23s
1m 23s
Apply Overlays Apply Overlays #14: completed by kim-em
1m 18s
1m 18s
Apply Overlays Apply Overlays #13: completed by kim-em
1m 12s
1m 12s