fix: Propagate errors when creating repro SCIP index (part 2)#297

varungandhi-src merged 1 commit intomainsourcegraph/scip:mainfrom

vg/propagate-errors-2sourcegraph/scip:vg/propagate-errors-2Copy head branch name to clipboard