Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/v90-bugfix' into v9-minor
Browse files Browse the repository at this point in the history
  • Loading branch information
scip-ci committed May 17, 2024
2 parents 20439fe + 69c7a86 commit 0a1a6e4
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 0a1a6e4

Please sign in to comment.