diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-07-26 22:20:52 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-07-26 22:23:59 +0200 |
| commit | f1f73efef865f2dddcd33ee441af16891004a6d0 (patch) | |
| tree | aec9f845c0be007c01f14e4c5bc8c09ba4686e58 | |
| parent | 705c98d47937d603e3ad569cc2ade12fa1df3677 (diff) | |
| download | kernel-f1f73efef865f2dddcd33ee441af16891004a6d0.tar.xz kernel-f1f73efef865f2dddcd33ee441af16891004a6d0.zip | |
ci: add tsan jobs
| -rw-r--r-- | .gitlab-ci.yml | 23 |
1 files changed, 14 insertions, 9 deletions
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 |