Skip to content

Actions: TOTOGT/geometry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
826 workflow runs
826 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
Threshold, not scale: the guard on fold language, and WP-79 Verify Lean proofs (real kernel check) #299: Commit 2b6505a pushed by TOTOGT
1m 56s main
main
1m 56s
pages build and deployment pages-build-deployment #527: by TOTOGT
1m 26s main
main
1m 26s
Omega index: scale panel, gallery count, Porete subtitle Verify Lean proofs (real kernel check) #298: Commit 622d548 pushed by TOTOGT
Queued main
main
Queued
pages build and deployment pages-build-deployment #526: by TOTOGT
31m 50s main
main
31m 50s
Porete: keep the extraction argument, drop the self-referential aside Verify Lean proofs (real kernel check) #297: Commit fb406b1 pushed by TOTOGT
3m 1s main
main
3m 1s
pages build and deployment pages-build-deployment #525: by TOTOGT
59s main
main
59s
Book Omega: add Marguerite Porete to Movement III (the witnesses) Verify Lean proofs (real kernel check) #296: Commit 7a18c9b pushed by TOTOGT
1m 48s main
main
1m 48s
pages build and deployment pages-build-deployment #524: by TOTOGT
49s main
main
49s
Volume II page: V2a -> V4, and an Appendix A generated from the file Verify Lean proofs (real kernel check) #295: Commit 6ac9038 pushed by TOTOGT
2m 8s main
main
2m 8s
pages build and deployment pages-build-deployment #523: by TOTOGT
41s main
main
41s
verify-dm3: one probe, and make it elaborate Verify Lean proofs (real kernel check) #294: Commit 114cc37 pushed by TOTOGT
2m 23s main
main
2m 23s
pages build and deployment pages-build-deployment #522: by TOTOGT
1m 5s main
main
1m 5s
Toy model: bring the page to V3, and prove the two theorems it cites Verify Lean proofs (real kernel check) #293: Commit 7440491 pushed by TOTOGT
1m 56s main
main
1m 56s
pages build and deployment pages-build-deployment #521: by TOTOGT
49s main
main
49s
Book 7: add Dantzig, consolidate the two Curie chapters; HVEH CFD gat… Verify Lean proofs (real kernel check) #292: Commit d32d3b0 pushed by TOTOGT
2m 5s main
main
2m 5s
pages build and deployment pages-build-deployment #520: by TOTOGT
46s main
main
46s
CLAUDE.md: session 2026-08-25 handoff Verify Lean proofs (real kernel check) #291: Commit e7c045c pushed by TOTOGT
2m 7s main
main
2m 7s
pages build and deployment pages-build-deployment #519: by TOTOGT
48s main
main
48s
Rewrite the CI verification section; add WP-78; harden claims.py Verify Lean proofs (real kernel check) #290: Commit 47415bd pushed by TOTOGT
2m 11s main
main
2m 11s
pages build and deployment pages-build-deployment #518: by TOTOGT
46s main
main
46s
WP-76 and WP-77 into book6; remove the root upload copies Verify Lean proofs (real kernel check) #289: Commit fe46a1c pushed by TOTOGT
2m 12s main
main
2m 12s
pages build and deployment pages-build-deployment #517: by TOTOGT
45s main
main
45s
Delete LLM_Assisted_Formal_Verification directory Verify Lean proofs (real kernel check) #288: Commit bc81574 pushed by TOTOGT
1m 54s main
main
1m 54s
pages build and deployment pages-build-deployment #516: by TOTOGT
48s main
main
48s
Add files via upload Verify Lean proofs (real kernel check) #287: Commit 701c3cd pushed by TOTOGT
1m 55s main
main
1m 55s