Skip to content

Actions: tommcn/PolygonalNumbers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 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