Add RelWithDebInfo sanitizer CI workflows

pika-org · Nov 20, 2024 · 79aa245 · 79aa245
1 parent f1041b1
commit 79aa245
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git 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
@@ -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 \