Skip to content

Actions: leanprover/verso

Actions

Apply Overlays

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
overlay.yml
21 workflow runs
21 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 #21: completed by Garmelon
17s
17s
Apply Overlays Apply Overlays #20: completed by Garmelon
14s
14s
Apply Overlays Apply Overlays #19: completed by Garmelon
1s
1s
Apply Overlays Apply Overlays #18: completed by Garmelon
15s
15s
Apply Overlays Apply Overlays #17: completed by Garmelon
10s
10s
Apply Overlays Apply Overlays #16: completed by Garmelon
1s
1s
Apply Overlays Apply Overlays #15: completed by Garmelon
9s
9s
Apply Overlays Apply Overlays #14: completed by Garmelon
1s
1s
Apply Overlays Apply Overlays #13: completed by Garmelon
1s
1s
Apply Overlays Apply Overlays #12: completed by Garmelon
9s
9s
Apply Overlays Apply Overlays #11: completed by Garmelon
2s
2s
Apply Overlays Apply Overlays #10: completed by Garmelon
2s
2s
Apply Overlays Apply Overlays #9: completed by david-christiansen
1s
1s
Apply Overlays Apply Overlays #8: completed by Garmelon
1s
1s
Apply Overlays Apply Overlays #7: completed by Garmelon
1s
1s
Apply Overlays Apply Overlays #6: completed by david-christiansen
1s
1s
Apply Overlays Apply Overlays #5: completed by Garmelon
11s
11s
Apply Overlays Apply Overlays #4: completed by kim-em
14s
14s
Apply Overlays Apply Overlays #3: completed by kim-em
14s
14s
Apply Overlays Apply Overlays #2: Manually run by jcreedcmu
13s main
main
13s
Apply Overlays Apply Overlays #1: completed by jcreedcmu
1s
1s