Skip to content

Drop user-facing support for ScipBuildTool#886

Closed
jupblb wants to merge 2 commits into
mainfrom
michal/scip-index-2
Closed

Drop user-facing support for ScipBuildTool#886
jupblb wants to merge 2 commits into
mainfrom
michal/scip-index-2

Simplify ScipBuildTool now that it is a Bazel-only worker

b00807d
Select commit
Loading
Failed to load commit list.