Skip to content

Actions: leanprover/reference-manual

Actions

Deploy the 'deploy' branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
upload-snapshots.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy the 'deploy' branch Deploy the 'deploy' branch #34: completed by robsimmons
40s
40s
Deploy the 'deploy' branch Deploy the 'deploy' branch #33: completed by robsimmons
42s
42s
Deploy the 'deploy' branch Deploy the 'deploy' branch #32: completed by robsimmons
39s
39s
Deploy the 'deploy' branch Deploy the 'deploy' branch #31: completed by kim-em
35s
35s
Deploy the 'deploy' branch Deploy the 'deploy' branch #30: completed by kim-em
34s
34s
Deploy the 'deploy' branch Deploy the 'deploy' branch #29: completed by david-christiansen
33s
33s
Deploy the 'deploy' branch Deploy the 'deploy' branch #28: completed by kim-em
33s
33s
Deploy the 'deploy' branch Deploy the 'deploy' branch #27: completed by kim-em
45s
45s
Deploy the 'deploy' branch Deploy the 'deploy' branch #26: completed by kim-em
31s
31s
Deploy the 'deploy' branch Deploy the 'deploy' branch #25: completed by kim-em
31s
31s
Deploy the 'deploy' branch Deploy the 'deploy' branch #24: completed by kim-em
27s
27s
Deploy the 'deploy' branch Deploy the 'deploy' branch #23: completed by kim-em
21s
21s
Deploy the 'deploy' branch Deploy the 'deploy' branch #22: completed by kim-em
28s
28s
Deploy the 'deploy' branch Deploy the 'deploy' branch #21: completed by kim-em
27s
27s
Deploy the 'deploy' branch Deploy the 'deploy' branch #20: completed by kim-em
28s
28s
Deploy the 'deploy' branch Deploy the 'deploy' branch #19: completed by kim-em
21s
21s
Deploy the 'deploy' branch Deploy the 'deploy' branch #18: completed by jrr6
1s
1s
Deploy the 'deploy' branch Deploy the 'deploy' branch #17: completed by Vierkantor
26s
26s
Deploy the 'deploy' branch Deploy the 'deploy' branch #16: completed by Vierkantor
24s
24s
Deploy the 'deploy' branch Deploy the 'deploy' branch #15: completed by david-christiansen
22s
22s
Deploy the 'deploy' branch Deploy the 'deploy' branch #14: completed by david-christiansen
21s
21s
Deploy the 'deploy' branch Deploy the 'deploy' branch #13: completed by kim-em
20s
20s
Deploy the 'deploy' branch Deploy the 'deploy' branch #12: completed by david-christiansen
28s
28s
Deploy the 'deploy' branch Deploy the 'deploy' branch #11: completed by david-christiansen
32s
32s
Deploy the 'deploy' branch Deploy the 'deploy' branch #10: completed by david-christiansen
25s
25s