Fail docgen benchmark when a quality score drops - #175

jmjava wants to merge 1 commit into

Fail docgen benchmark when a quality score drops#175
jmjava wants to merge 1 commit into
mainfrom
verify/docgen-next-hole

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