Skip to content

scip.bzl: fix bad syntax.#42

Open
sluongng wants to merge 1 commit intouber:mainfrom
sluongng:sluongng/fix-scip.bzl
Open

scip.bzl: fix bad syntax.#42
sluongng wants to merge 1 commit intouber:mainfrom
sluongng:sluongng/fix-scip.bzl

Commits

Commits on Dec 2, 2025