Skip to content

Actions: libishm1/Frahan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 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
release: refresh install payload with the Structural Wall generator Verification tests #7: Commit e3397e3 pushed by libishm1
39s feat/structural-wall-generator
feat/structural-wall-generator
39s
demo+example: structural stone facade — baseline suite, tilt capacity… docs #76: Commit 1bb1262 pushed by libishm1
1m 45s main
main
1m 45s
fix(ICP): outlier-robust pre-alignment (KB-14) + 3 property tests docs #75: Commit 918130d pushed by libishm1
1m 46s main
main
1m 46s
fix(ICP): outlier-robust pre-alignment (KB-14) + 3 property tests Verification tests #6: Commit 918130d pushed by libishm1
55s main
main
55s
release: v0.1.2-alpha notes + CITATION bump Verification tests #5: Commit 6a6e83c pushed by libishm1
53s v0.1.2-alpha
v0.1.2-alpha
53s
release: v0.1.2-alpha notes + CITATION bump Lean proofs #31: Commit 6a6e83c pushed by libishm1
1m 43s v0.1.2-alpha
v0.1.2-alpha
1m 43s
release: v0.1.2-alpha notes + CITATION bump docs #74: Commit 6a6e83c pushed by libishm1
1m 54s main
main
1m 54s
release: refresh install payload with the v0.1.2 fixes + document 2 k… docs #73: Commit 9b5dc1d pushed by libishm1
1m 46s main
main
1m 46s
verification: SoftICP + SawBed (LPT!) — 8 new facts, 40/40 green; fin… Verification tests #4: Commit 333431b pushed by libishm1
37s main
main
37s
verification: Lambert + power-wall + plane-fit — 9 new facts, 32/32 g… Verification tests #3: Commit aa66009 pushed by libishm1
43s main
main
43s
verification: CRA equilibrium stack — 4 new facts, 23/23 green (Opus) Verification tests #2: Commit d1129dd pushed by libishm1
35s main
main
35s
verification: permanent Frahan.Verification.Tests suite + CI (P1 comp… docs #72: Commit a25558f pushed by libishm1
1m 41s main
main
1m 41s
verification: permanent Frahan.Verification.Tests suite + CI (P1 comp… Verification tests #1: Commit a25558f pushed by libishm1
37s main
main
37s
readme: add 'Formally verified algorithm core' section docs #71: Commit 484e454 pushed by libishm1
1m 45s main
main
1m 45s
audit: fix CRITICAL settle_kkt unsoundness + 4 statement/docstring fi… Lean proofs #30: Commit 58bccd9 pushed by libishm1
2m 29s main
main
2m 29s
audit: fix CRITICAL settle_kkt unsoundness + 4 statement/docstring fi… docs #70: Commit 58bccd9 pushed by libishm1
1m 49s main
main
1m 49s
ci: fix invalid YAML — unquoted colon in step name broke every workfl… Lean proofs #29: Commit bfc4c8e pushed by libishm1
2m 21s main
main
2m 21s
proofs(README): milestone refresh — zero proof_wanted, table rows res… docs #69: Commit 7a82f87 pushed by libishm1
1m 52s main
main
1m 52s
proofs(README): milestone refresh — zero proof_wanted, table rows res… Lean proofs #28: Commit 7a82f87 pushed by libishm1
Failure main
main
Failure
proofs: lpt_tight_bound PROVED — full Graham 1969 LPT 4/3-1/3m bound.… docs #68: Commit 739ca89 pushed by libishm1
38s main
main
38s
proofs: lpt_tight_bound PROVED — full Graham 1969 LPT 4/3-1/3m bound.… Lean proofs #27: Commit 739ca89 pushed by libishm1
Failure main
main
Failure
proofs: LPT optimality Stage 2 — greedy trace invariant (LptOptimal.l… Lean proofs #26: Commit 0081b70 pushed by libishm1
Failure main
main
Failure
proofs: LPT optimality Stage 1 — static pair lemma cluster (LptOptima… Lean proofs #25: Commit 205df25 pushed by libishm1
Failure main
main
Failure
proofs: Graham LPT 4/3 — Case A fully proved + Case B pigeonhole/exch… Lean proofs #24: Commit 120ff68 pushed by libishm1
Failure main
main
Failure
proofs: fix ffd_tight — remove FALSE placeholder proof_wanted, conver… Lean proofs #23: Commit 1c68d2c pushed by libishm1
Failure main
main
Failure