Skip to content

Commit

Permalink
Parallelize valgrind ci job
Browse files Browse the repository at this point in the history
  • Loading branch information
ju-manns committed May 3, 2024
1 parent 3732b4a commit a44ecc3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ci/valgrind.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,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`
Expand Down

0 comments on commit a44ecc3

Please sign in to comment.