Skip to content

Commit

Permalink
Merge branch 'parallelize-valgrind-job' into 'v90-bugfix'
Browse files Browse the repository at this point in the history
Parallelize valgrind ci job

See merge request integer/scip!3391
  • Loading branch information
ju-manns committed May 17, 2024
2 parents f45ecbb + 5c786fb commit 69c7a86
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion ci/valgrind.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@ valgrind:
stage: test
image:
name: debian:12-slim
tags:
- compile
needs:
- "cmake release with debug info"
script:
Expand All @@ -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`
Expand Down

0 comments on commit 69c7a86

Please sign in to comment.