Skip to content

Actions: tommcn/PolygonalNumbers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 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
supposedly done Compile blueprint #41: Commit 17a61e2 pushed by tommcn
15m 23s main
main
15m 23s
supposedly done Lean Action CI #41: Commit 17a61e2 pushed by tommcn
8m 21s main
main
8m 21s
pretty much done Lean Action CI #40: Commit df067ae pushed by tommcn
3m 37s main
main
3m 37s
pretty much done Compile blueprint #40: Commit df067ae pushed by tommcn
24m 20s main
main
24m 20s
some poly and some blueprint Lean Action CI #39: Commit 153bba0 pushed by tommcn
3m 3s main
main
3m 3s
some poly and some blueprint Compile blueprint #39: Commit 153bba0 pushed by tommcn
24m 11s main
main
24m 11s