From 84f38534528e0bc93b81cb83b20001712a2546a9 Mon Sep 17 00:00:00 2001 From: Julian Manns Date: Tue, 5 Mar 2024 17:23:34 +0100 Subject: [PATCH] Build scip single-threaded --- .github/workflows/build_from_source.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build_from_source.yml b/.github/workflows/build_from_source.yml index 9808054642..50172e8623 100644 --- a/.github/workflows/build_from_source.yml +++ b/.github/workflows/build_from_source.yml @@ -256,7 +256,7 @@ jobs: mkdir build cd build cmake .. -DCMAKE_INSTALL_PREFIX=../../scip_install -DCMAKE_BUILD_TYPE=Release -DLPS=spx -DSOPLEX_DIR=../../scip_install -DGMP_DIR=../../scip_install -DPAPILO=false -DZIMPL=false -DGMP=true -DREADLINE=false -DIPOPT=true -DIPOPT_DIR=../../scip_install - make -j$(nproc) + make -j make install shell: bash