Skip to content

Actions: nehalahmedshaikh/executable-euclid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
Tighten the site around its measured evidence Verify and deploy #14: Commit 39b084f pushed by nehalahmedshaikh
20m 56s main
main
20m 56s
Finish the solid books and make the findings reproducible Verify and deploy #13: Commit f3fef26 pushed by nehalahmedshaikh
22m 57s main
main
22m 57s
Book XI as far as the solid angles, on a kernel that admits it has no… Verify and deploy #12: Commit c992da6 pushed by nehalahmedshaikh
31m 52s main
main
31m 52s
pages build and deployment pages-build-deployment #12: by nehalahmedshaikh
46s main
main
46s
One module per book, and Pythagoras proved the way Euclid proves it Verify and deploy #11: Commit fa8676f pushed by nehalahmedshaikh
7m 4s main
main
7m 4s
pages build and deployment pages-build-deployment #11: by nehalahmedshaikh
42s main
main
42s
Book XIII's plane half, and two measurements that disagreed with them… Verify and deploy #10: Commit 1c08092 pushed by nehalahmedshaikh
5m 15s main
main
5m 15s
pages build and deployment pages-build-deployment #10: by nehalahmedshaikh
39s main
main
39s
Tell Euclid's hypotheses from ours, and enumerate Book X properly Verify and deploy #9: Commit 9db2f59 pushed by nehalahmedshaikh
5m 27s main
main
5m 27s
pages build and deployment pages-build-deployment #9: by nehalahmedshaikh
50s main
main
50s
Six circles, not seven: the caveats were hiding four corrections Verify and deploy #8: Commit c4016c4 pushed by nehalahmedshaikh
5m 25s main
main
5m 25s
pages build and deployment pages-build-deployment #8: by nehalahmedshaikh
40s main
main
40s
Restrict the number field, and sort every square root the corpus takes Verify and deploy #7: Commit aa3b0af pushed by nehalahmedshaikh
5m 18s main
main
5m 18s
pages build and deployment pages-build-deployment #7: by nehalahmedshaikh
40s main
main
40s
Certify minimality exactly; compute the claim that was only asserted Verify and deploy #6: Commit b42e890 pushed by nehalahmedshaikh
5m 12s main
main
5m 12s
pages build and deployment pages-build-deployment #6: by nehalahmedshaikh
42s main
main
42s
One column width, not two Verify and deploy #5: Commit 8cc3c5e pushed by nehalahmedshaikh
4m 35s main
main
4m 35s
pages build and deployment pages-build-deployment #5: by nehalahmedshaikh
41s main
main
41s
Halve the site, fix three pages that contradicted each other Verify and deploy #4: Commit 738067a pushed by nehalahmedshaikh
4m 38s main
main
4m 38s
pages build and deployment pages-build-deployment #4: by nehalahmedshaikh
37s main
main
37s
Measure the corpus; stop reporting citations as findings Verify and deploy #3: Commit c48dd54 pushed by nehalahmedshaikh
5m 28s main
main
5m 28s
pages build and deployment pages-build-deployment #3: by nehalahmedshaikh
49s main
main
49s
Books I to X, complete: 390 propositions, checked exactly Verify and deploy #2: Commit a322deb pushed by nehalahmedshaikh
4m 55s main
main
4m 55s
pages build and deployment pages-build-deployment #2: by nehalahmedshaikh
34s main
main
34s
pages build and deployment pages-build-deployment #1: by nehalahmedshaikh
39s main
main
39s