diff --git a/ci/valgrind.yml b/ci/valgrind.yml index 2d16dffcd5..13cd38a7e8 100644 --- a/ci/valgrind.yml +++ b/ci/valgrind.yml @@ -2,6 +2,8 @@ valgrind: stage: test image: name: debian:12-slim + tags: + - compile needs: - "cmake release with debug info" script: @@ -16,7 +18,7 @@ valgrind: - $CI_PROJECT_DIR/SCIP-*-Linux.sh --skip-license - cd ${CI_PROJECT_DIR} - - make test EXECUTABLE=scipbuild/bin/scip TEST=short_valgrind OPT=opt EXCLUSIVE=false MEM=12000 QUEUE=opt-low DEBUGTOOL=valgrind TIME=60 + - make test MAXJOBS=8 EXECUTABLE=scipbuild/bin/scip TEST=short_valgrind OPT=opt EXCLUSIVE=false MEM=12000 QUEUE=opt-low DEBUGTOOL=valgrind TIME=60 - nfailed=$((grep fail ${CI_PROJECT_DIR}/check/results/check*.res || true) | wc -l) - if [ "$nfailed" == '0' ]; then exit 0; fi - failed=`grep fail ${CI_PROJECT_DIR}/check/results/check*.res`