Skip to content

Actions: leanprover/verso-blueprint

Actions

Reference Blueprints Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reference-blueprints-deploy.yml
567 workflow runs
567 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
Reference Blueprints Deploy Reference Blueprints Deploy #567: completed by ejgallego
24m 26s
24m 26s
Reference Blueprints Deploy Reference Blueprints Deploy #566: completed by ejgallego
1m 37s
1m 37s
Reference Blueprints Deploy Reference Blueprints Deploy #565: completed by ejgallego
20m 14s
20m 14s
Reference Blueprints Deploy Reference Blueprints Deploy #564: completed by ejgallego
9m 12s
9m 12s
Reference Blueprints Deploy Reference Blueprints Deploy #563: completed by ejgallego
28m 46s
28m 46s
Reference Blueprints Deploy Reference Blueprints Deploy #562: completed by ejgallego
8m 21s
8m 21s
Reference Blueprints Deploy Reference Blueprints Deploy #561: completed by ejgallego
21m 9s
21m 9s
Reference Blueprints Deploy Reference Blueprints Deploy #560: completed by ejgallego
18m 51s
18m 51s
Reference Blueprints Deploy Reference Blueprints Deploy #559: completed by ejgallego
18m 11s
18m 11s
Reference Blueprints Deploy Reference Blueprints Deploy #558: completed by ejgallego
17s
17s
Reference Blueprints Deploy Reference Blueprints Deploy #557: completed by ejgallego
29m 25s
29m 25s
Reference Blueprints Deploy Reference Blueprints Deploy #556: completed by ejgallego
19m 2s
19m 2s
Reference Blueprints Deploy Reference Blueprints Deploy #555: completed by ejgallego
22m 4s
22m 4s
Reference Blueprints Deploy Reference Blueprints Deploy #554: completed by ejgallego
6m 1s
6m 1s
Reference Blueprints Deploy Reference Blueprints Deploy #553: completed by ejgallego
22m 50s
22m 50s
Reference Blueprints Deploy Reference Blueprints Deploy #552: completed by ejgallego
4m 59s
4m 59s
Reference Blueprints Deploy Reference Blueprints Deploy #551: completed by ejgallego
25m 52s
25m 52s
Reference Blueprints Deploy Reference Blueprints Deploy #550: completed by ejgallego
4m 44s
4m 44s
Reference Blueprints Deploy Reference Blueprints Deploy #549: completed by ejgallego
1s
1s
Reference Blueprints Deploy Reference Blueprints Deploy #548: completed by ejgallego
1h 36m 53s
1h 36m 53s
Reference Blueprints Deploy Reference Blueprints Deploy #547: completed by ejgallego
3m 57s
3m 57s
Reference Blueprints Deploy Reference Blueprints Deploy #546: completed by ejgallego
27m 8s
27m 8s
Reference Blueprints Deploy Reference Blueprints Deploy #545: completed by ejgallego
2m 8s
2m 8s
Reference Blueprints Deploy Reference Blueprints Deploy #544: completed by ejgallego
21m 31s
21m 31s
Reference Blueprints Deploy Reference Blueprints Deploy #543: completed by ejgallego
25m 57s
25m 57s