fix: Propagate errors when creating repro SCIP index#296

varungandhi-src merged 1 commit intomainsourcegraph/scip:mainfrom

vg/propagate-errorssourcegraph/scip:vg/propagate-errorsCopy head branch name to clipboard