fix(verify-gate): keep TEST-PROOF-* on sorry-grep — lake build exceeds gate budget#230

Merged

avrabe merged 2 commits into

mainfrom

chore/v0.10.x-re-revert-lake-build

May 19, 2026

Commits on May 18, 2026

fix(verify-gate): keep TEST-PROOF-* on sorry-grep — lake build exceeds gate budget

avrabe
and
claude
committed

Commits on May 19, 2026

Merge branch 'main' into chore/v0.10.x-re-revert-lake-build
avrabe
authored