diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f148546d..9977e54e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -43,7 +43,7 @@ test:bht: stage: test image: registry.gitlab.ost.ch:45023/teachos/devcontainers/bht.ci:latest script: - - ctest --preset $PRESET-dbg --parallel --output-on-failure + - TSAN_OPTIONS=halt_on_error=1 ctest --preset $PRESET-dbg --parallel --output-on-failure - lcov --quiet --config-file .lcovrc --capture --directory $(pwd) --output-file coverage.info - lcov --quiet --config-file .lcovrc --list coverage.info - genhtml --quiet --config-file .lcovrc --prefix $(pwd) --output-directory coverage coverage.info |