Skip to content

Actions: jcreedcmu/blueprint-debug

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Try this broken value Lean Action CI #21: Commit d2cd106 pushed by jcreedcmu
1m 44s main
main
1m 44s
Try real option Lean Action CI #20: Commit 86aa182 pushed by jcreedcmu
1m 44s main
main
1m 44s
Try real option Compile blueprint #19: Commit 86aa182 pushed by jcreedcmu
24s main
main
24s
Try deprecated option Compile blueprint #18: Commit 3a73a67 pushed by jcreedcmu
24s main
main
24s
Try deprecated option Lean Action CI #19: Commit 3a73a67 pushed by jcreedcmu
2m 3s main
main
2m 3s
Try default Compile blueprint #17: Commit 5806243 pushed by jcreedcmu
16s main
main
16s
Try default Lean Action CI #18: Commit 5806243 pushed by jcreedcmu
1m 44s main
main
1m 44s
Try deprecated option Compile blueprint #16: Commit eb74336 pushed by jcreedcmu
16s main
main
16s
Try deprecated option Lean Action CI #17: Commit eb74336 pushed by jcreedcmu
2m 3s main
main
2m 3s
At least need the checkout Lean Action CI #16: Commit 84300ba pushed by jcreedcmu
2m 5s main
main
2m 5s
At least need the checkout Compile blueprint #15: Commit 84300ba pushed by jcreedcmu
22s main
main
22s
Try new action Lean Action CI #15: Commit 4d71ed4 pushed by jcreedcmu
1m 9s main
main
1m 9s
Try new action Compile blueprint #14: Commit 4d71ed4 pushed by jcreedcmu
13s main
main
13s
Less work Lean Action CI #14: Commit f85660d pushed by jcreedcmu
1m 58s main
main
1m 58s
Less work Compile blueprint #13: Commit f85660d pushed by jcreedcmu
10s main
main
10s
Back to main Compile blueprint #12: Commit b2d8f1e pushed by jcreedcmu
2m 32s main
main
2m 32s
Back to main Lean Action CI #13: Commit b2d8f1e pushed by jcreedcmu
1m 39s main
main
1m 39s
No idea if this is going to work Lean Action CI #12: Commit 2720bc0 pushed by jcreedcmu
1m 41s main
main
1m 41s
No idea if this is going to work Compile blueprint #11: Commit 2720bc0 pushed by jcreedcmu
1m 45s main
main
1m 45s
strings? Compile blueprint #10: Commit a29aca5 pushed by jcreedcmu
4m 30s main
main
4m 30s
strings? Lean Action CI #11: Commit a29aca5 pushed by jcreedcmu
1m 49s main
main
1m 49s
Better branch Compile blueprint #9: Commit 64efcd1 pushed by jcreedcmu
4m 14s main
main
4m 14s
Better branch Lean Action CI #10: Commit 64efcd1 pushed by jcreedcmu
1m 40s main
main
1m 40s
Branch is mandatory Lean Action CI #9: Commit 1d30ee3 pushed by jcreedcmu
1m 41s main
main
1m 41s
Branch is mandatory Compile blueprint #8: Commit 1d30ee3 pushed by jcreedcmu
8m 49s main
main
8m 49s
⚡