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
21 workflow run results
21 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Deploy the 'deploy' branch Deploy the 'deploy' branch #9: Manually run by david-christiansen
19s main
main
19s
Deploy the 'deploy' branch Deploy the 'deploy' branch #8: completed by kim-em
21s
21s
Deploy the 'deploy' branch Deploy the 'deploy' branch #7: completed by david-christiansen
19s
19s
Deploy the 'deploy' branch Deploy the 'deploy' branch #6: completed by david-christiansen
3s
3s
Deploy the 'deploy' branch Deploy the 'deploy' branch #5: Manually run by david-christiansen
25s main
main
25s
Deploy the 'deploy' branch Deploy the 'deploy' branch #4: completed by david-christiansen
19s
19s
Deploy the 'deploy' branch Deploy the 'deploy' branch #3: completed by david-christiansen
1s
1s
Deploy the 'deploy' branch Deploy the 'deploy' branch #2: completed by david-christiansen
2s
2s
Deploy the 'deploy' branch Deploy the 'deploy' branch #1: completed by david-christiansen
2s
2s