Repository navigation

Fail docgen benchmark when a quality score drops - #175

Merged

jmjava merged 1 commit into

mainfrom

verify/docgen-next-hole

Oct 7, 2026

Commits on Sep 27, 2026

Prove docgen benchmark exits 1 when a quality score falls below baseline.

jmjava
and
cursoragent
committed
0e1332e