Update dependency org.scip-code:scip-java-bindings to v0.8.1#925

renovate[bot] wants to merge 1 commit into

mainsourcegraph/scip-java:mainfrom

renovate/org.scip-code-scip-java-bindings-0.xsourcegraph/scip-java:renovate/org.scip-code-scip-java-bindings-0.xCopy head branch name to clipboard