Skip to content

test(coq): remove more reliance on _build/log

187c3a3
Select commit
Loading
Failed to load commit list.
Merged

coq: more removal of _build/log checking #13028

test(coq): remove more reliance on _build/log
187c3a3
Select commit
Loading
Failed to load commit list.