Skip to content

Actions: tommcn/PolygonalNumbers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 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
One more i forgot Compile blueprint #45: Commit a68de94 pushed by tommcn
9m 31s main
main
9m 31s
One more i forgot Lean Action CI #45: Commit a68de94 pushed by tommcn
2m 59s main
main
2m 59s
rename m and hm to s and hs Compile blueprint #44: Commit 6495d32 pushed by tommcn
24m 44s main
main
24m 44s
rename m and hm to s and hs Lean Action CI #44: Commit 6495d32 pushed by tommcn
4m 5s main
main
4m 5s
hexa Compile blueprint #43: Commit 187c80c pushed by tommcn
10m 54s main
main
10m 54s
hexa Lean Action CI #43: Commit 187c80c pushed by tommcn
2m 13s main
main
2m 13s
Actually finish Compile blueprint #42: Commit 84f0f70 pushed by tommcn
25m 8s main
main
25m 8s
Actually finish Lean Action CI #42: Commit 84f0f70 pushed by tommcn
4m 1s main
main
4m 1s