Skip to content

Actions: leanprover/verso

Actions

Deploy postdeploy branch

Actions

Loading...
Loading

Show workflow options

Create status badge

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