diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-07-26 22:52:49 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-07-26 22:52:49 +0200 |
| commit | f0e1e4d6b5f9855e5ef4a4c7a692bf77dd81b8ce (patch) | |
| tree | 8c457115b770640e698fa011a83489b7b86b9d2d | |
| parent | 00cac2d9ab90bf9804046b8a834159d2941adff7 (diff) | |
| download | kernel-f0e1e4d6b5f9855e5ef4a4c7a692bf77dd81b8ce.tar.xz kernel-f0e1e4d6b5f9855e5ef4a4c7a692bf77dd81b8ce.zip | |
ci: disable coverage for tsan tests
| -rw-r--r-- | .gitlab-ci.yml | 24 |
1 files changed, 18 insertions, 6 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9977e54e..373b6818 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: - - TSAN_OPTIONS=halt_on_error=1 ctest --preset $PRESET-dbg --parallel --output-on-failure + - ctest --preset bht-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 @@ -59,15 +59,27 @@ test:bht: coverage_report: coverage_format: cobertura path: coverage/cobertura-coverage.xml - junit: build/$PRESET/**/bht_results/*.xml - parallel: - matrix: - - PRESET: ["bht", "bht-tsan"] + junit: build/bht-dbg/**/bht_results/*.xml + needs: + - job: build:bht + parallel: + matrix: + - PRESET: ["bht"] + +test:bht-tsan: + stage: test + image: registry.gitlab.ost.ch:45023/teachos/devcontainers/bht.ci:latest + script: + - TSAN_OPTIONS=halt_on_error=1 ctest --preset bht-tsan-dbg --parallel --output-on-failure + artifacts: + expire_in: 24 hours + reports: + junit: build/bht-tsan-dbg/**/bht_results/*.xml needs: - job: build:bht parallel: matrix: - - PRESET: ['$[[ matrix.PRESET ]]'] + - PRESET: ["bht-tsan"] license_check: stage: .pre |