Skip to content

Actions: leanprover/reference-manual

Actions

Apply Overlays

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
overlay.yml
66 workflow runs
66 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 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
Apply Overlays Apply Overlays #12: completed by kim-em
1m 26s
1m 26s
Apply Overlays Apply Overlays #11: completed by david-christiansen
1m 17s
1m 17s
Apply Overlays Apply Overlays #10: completed by kim-em
1m 16s
1m 16s
Apply Overlays Apply Overlays #9: completed by kim-em
1m 7s
1m 7s
Apply Overlays Apply Overlays #8: completed by kim-em
1m 6s
1m 6s
Apply Overlays Apply Overlays #7: Manually run by jcreedcmu
1m 34s main
main
1m 34s
Apply Overlays Apply Overlays #6: Manually run by jcreedcmu
1m 18s main
main
1m 18s
Apply Overlays Apply Overlays #5: completed by david-christiansen
39s
39s
Apply Overlays Apply Overlays #4: completed by david-christiansen
39s
39s
Apply Overlays Apply Overlays #3: completed by jcreedcmu
38s
38s
Apply Overlays Apply Overlays #2: completed by jcreedcmu
36s
36s
Apply Overlays Apply Overlays #1: completed by jcreedcmu
37s
37s