Skip to content

scip.bzl: fix bad syntax.#42

Merged
JamyDev merged 1 commit into
uber:mainfrom
sluongng:sluongng/fix-scip.bzl
Jan 15, 2026
Merged

scip.bzl: fix bad syntax.#42
JamyDev merged 1 commit into
uber:mainfrom
sluongng:sluongng/fix-scip.bzl

Commits

Commits on Dec 2, 2025