Skip to content

Pass --project-root to scip stats to suppress warning#239

Merged
jupblb merged 1 commit intomainfrom
michal/scip-stat
Apr 22, 2026
Merged

Pass --project-root to scip stats to suppress warning#239
jupblb merged 1 commit intomainfrom
michal/scip-stat

Commits

Commits on Apr 22, 2026