Skip to content

Actions: falker47/ringmin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
research: prove radius-7 Supnick seam onset s7=34 CI #27: Commit a5ae1d5 pushed by falker47
1m 10s main
main
1m 10s
research: prove radius-6 Supnick seam onset s6=30 CI #26: Commit 2ea5964 pushed by falker47
1m 6s main
main
1m 6s
Prove exact radius-5 formal seam onset at n=25 CI #25: Commit ee34b5e pushed by falker47
1m 9s main
main
1m 9s
research: prove exact radius-3 seam onset s3=17 CI #24: Commit 3c4ca3b pushed by falker47
1m 11s main
main
1m 11s
research: prove exact radius-3 seam onset s3=17 CI #23: Commit b49d0fa pushed by falker47
1m 7s main
main
1m 7s
research: prove general fixed-k Supnick seam persistence CI #22: Commit d904959 pushed by falker47
1m 5s main
main
1m 5s
research: prove all-n radius-2 seam threshold CI #21: Commit e23663e pushed by falker47
1m 13s main
main
1m 13s
research: prove all-n radius-1 seam obstruction CI #20: Commit 5f9be1a pushed by falker47
1m 5s main
main
1m 5s
chore: bootstrap durable memory and continuous review workflow CI #19: Commit 14fd8f6 pushed by falker47
1m 5s main
main
1m 5s
docs: update repository for arXiv v1 publication CI #18: Commit 9f67244 pushed by falker47
1m 7s v1.0-arxiv-v1
v1.0-arxiv-v1
1m 7s
docs: update repository for arXiv v1 publication CI #17: Commit 9f67244 pushed by falker47
1m 6s main
main
1m 6s
init: setup repository audit structure, project documentation, and op… CI #16: Commit 14e93c1 pushed by falker47
1m 5s power-ringmin-quadratic-audit
power-ringmin-quadratic-audit
1m 5s
feat: add LaTeX document explaining the tangent circles problem and a… CI #15: Commit cc03274 pushed by falker47
56s main
main
56s
docs: rewrite and expand SPIEGAMI.md to better explain the tangent ci… CI #14: Commit 1f93840 pushed by falker47
1m 0s main
main
1m 0s
docs: add intuitive explainer for the minimum central circle problem … CI #13: Commit 9c84fc1 pushed by falker47
59s main
main
59s
fix CI #12: Commit bfb91c0 pushed by falker47
1m 3s main
main
1m 3s
fix CI #11: Commit 5be4d3c pushed by falker47
56s main
main
56s
Merge branch 'main' of https://github.com/falker47/ringmin CI #10: Commit 88be8db pushed by falker47
1m 2s final
final
1m 2s
Merge branch 'main' of https://github.com/falker47/ringmin CI #9: Commit 88be8db pushed by falker47
56s main
main
56s
feat: add ringmin research paper asset CI #8: Commit 2ed2054 pushed by falker47
1m 3s v0.2
v0.2
1m 3s
feat: add ringmin research paper asset CI #7: Commit 2ed2054 pushed by falker47
1m 0s main
main
1m 0s
add paper draft and TeX source for circle arrangement optimization pr… CI #6: Commit 49c0a24 pushed by falker47
58s main
main
58s
Fix CI verifier smoke test CI #5: Commit 8637bac pushed by falker47
1m 7s v0.1-submission
v0.1-submission
1m 7s
Fix CI verifier smoke test CI #4: Commit 8637bac pushed by falker47
1m 13s main
main
1m 13s
feat: add formal paper documentation, submission templates, and endor… CI #3: Commit 53b76c3 pushed by falker47
1m 4s main
main
1m 4s