Skip to content

Actions: tommcn/PolygonalNumbers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
correctness Lean Action CI #38: Commit 43980bd pushed by tommcn
2m 0s main
main
2m 0s
correctness Compile blueprint #38: Commit 43980bd pushed by tommcn
23m 23s main
main
23m 23s
more [noci] Lean Action CI #37: Commit 91bf78b pushed by tommcn
1m 7s main
main
1m 7s
more [noci] Compile blueprint #37: Commit 91bf78b pushed by tommcn
2m 31s main
main
2m 31s
progress on blueprint an decidable? Compile blueprint #36: Commit 303bdad pushed by tommcn
22m 55s main
main
22m 55s
progress on blueprint an decidable? Lean Action CI #36: Commit 303bdad pushed by tommcn
2m 12s main
main
2m 12s
no more sorries Compile blueprint #35: Commit 5645b3a pushed by tommcn
23m 25s main
main
23m 25s
no more sorries Lean Action CI #35: Commit 5645b3a pushed by tommcn
4m 0s main
main
4m 0s
all sorries gone Lean Action CI #34: Commit 64d285e pushed by tommcn
2m 53s main
main
2m 53s
all sorries gone Compile blueprint #34: Commit 64d285e pushed by tommcn
23m 59s main
main
23m 59s
almost done a Compile blueprint #33: Commit 4ffe48b pushed by tommcn
8m 2s main
main
8m 2s