From 79aa245d9520f410152d78cc78d9e3c93e345e90 Mon Sep 17 00:00:00 2001 From: Mikael Simberg Date: Tue, 19 Nov 2024 14:21:13 +0100 Subject: [PATCH] Add RelWithDebInfo sanitizer CI workflows --- .github/workflows/linux_asan_ubsan_lsan.yml | 6 +++++- .github/workflows/linux_tsan.yml | 6 +++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/.github/workflows/linux_asan_ubsan_lsan.yml b/.github/workflows/linux_asan_ubsan_lsan.yml index 8a2fbca98..a9bf21c7a 100644 --- a/.github/workflows/linux_asan_ubsan_lsan.yml +++ b/.github/workflows/linux_asan_ubsan_lsan.yml @@ -25,6 +25,10 @@ jobs: # --privileged is enabled for sysctl further down. options: --privileged + strategy: + matrix: + build_type: ["Debug", "RelWithDebInfo"] + steps: - uses: actions/checkout@v4 - name: Update apt repositories for ccache @@ -41,7 +45,7 @@ jobs: -Bbuild \ -GNinja \ -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \ - -DCMAKE_BUILD_TYPE=Debug \ + -DCMAKE_BUILD_TYPE= ${{ matrix.build_type }} \ -DPIKA_WITH_MALLOC=system \ -DPIKA_WITH_MPI=ON \ -DPIKA_WITH_EXAMPLES=ON \ diff --git a/.github/workflows/linux_tsan.yml b/.github/workflows/linux_tsan.yml index 2fd66923d..02d032804 100644 --- a/.github/workflows/linux_tsan.yml +++ b/.github/workflows/linux_tsan.yml @@ -25,6 +25,10 @@ jobs: # --privileged is enabled for sysctl further down. options: --privileged + strategy: + matrix: + build_type: ["Debug", "RelWithDebInfo"] + steps: - uses: actions/checkout@v4 - name: Update apt repositories for ccache @@ -48,7 +52,7 @@ jobs: -Bbuild \ -GNinja \ -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \ - -DCMAKE_BUILD_TYPE=Debug \ + -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} \ -DPIKA_WITH_MALLOC=system \ -DPIKA_WITH_MPI=ON \ -DPIKA_WITH_EXAMPLES=ON \