aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-07-26 22:32:08 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-07-26 22:32:08 +0200
commitaf6c07a5534f85b4b86d79de0061e623067c618a (patch)
tree0abe305244d920cc32aac5b26a474f81ab19ecdb
parentfdaa4d2e5f29c39c8cafa8604a9a580b92d81c57 (diff)
downloadkernel-af6c07a5534f85b4b86d79de0061e623067c618a.tar.xz
kernel-af6c07a5534f85b4b86d79de0061e623067c618a.zip
ci: enable halt_on_error for TSan
-rw-r--r--.gitlab-ci.yml2
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