Skip to content

cmake: fix build with USE_SCIP=OFF #3722

cmake: fix build with USE_SCIP=OFF

cmake: fix build with USE_SCIP=OFF #3722

Triggered via push March 10, 2026 22:47
Status Success
Total duration 1h 19m 28s
Artifacts
amd64•Linux•CMake•Java
1h 19m
amd64•Linux•CMake•Java
amd64_linux_cmake_java
7s
amd64_linux_cmake_java
Fit to window
Zoom out
Zoom in