Skip to content

Fix verifier fail-open and harden CI/release toolchain#4

Merged
davidahmann merged 1 commit intomainfrom
codex/fix-proof-review-gaps
Feb 18, 2026
Merged

Fix verifier fail-open and harden CI/release toolchain#4
davidahmann merged 1 commit intomainfrom
codex/fix-proof-review-gaps

Commits

Commits on Feb 18, 2026

Comments