From f1f73efef865f2dddcd33ee441af16891004a6d0 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Sun, 26 Jul 2026 22:20:52 +0200
Subject: ci: add tsan jobs

---
 .gitlab-ci.yml | 23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d9f1c1d7..96e6c416 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,16 +2,19 @@ build:bht:
   stage: build
   image: registry.gitlab.ost.ch:45023/teachos/devcontainers/bht.ci:latest
   script:
-    - cmake --preset bht
-    - cmake --build --preset bht-dbg 2>&1 | tee build_output.txt
+    - cmake --preset $PRESET
+    - cmake --build --preset $PRESET-dbg 2>&1 | tee build_output.txt
     - set -o pipefail
-    - python3 scripts/ci/parse_clang_tidy.py build_output.txt > code-quality-bht.json
+    - python3 scripts/ci/parse_clang_tidy.py build_output.txt > code-quality-$PRESET.json
   artifacts:
     paths:
-      - build/bht/
+      - build/$PRESET/
     reports:
-      codequality: code-quality-bht.json
+      codequality: code-quality-$PRESET.json
     expire_in: 5 min
+  parallel:
+    matrix:
+      - PRESET: ["bht", "bht-tsan"]
 
 build:bootable:
   stage: build
@@ -31,7 +34,6 @@ build:bootable:
     reports:
       codequality: code-quality-$PLATFORM-$TYPE.json
     expire_in: 1 week
-
   parallel:
     matrix:
       - PLATFORM: ["x86_64"]
@@ -40,9 +42,9 @@ build:bootable:
 test:bht:
   stage: test
   image: registry.gitlab.ost.ch:45023/teachos/devcontainers/bht.ci:latest
-  needs: ["build:bht"]
+  needs: ["build:$PRESET"]
   script:
-    - ctest --preset bht-dbg --parallel --output-on-failure
+    - 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
@@ -58,7 +60,10 @@ test:bht:
       coverage_report:
         coverage_format: cobertura
         path: coverage/cobertura-coverage.xml
-      junit: build/bht/**/bht_results/*.xml
+      junit: build/$PRESET/**/bht_results/*.xml
+  parallel:
+    matrix:
+      - PRESET: ["bht", "bht-tsan"]
 
 license_check:
   stage: .pre
-- 
cgit v1.2.3