Make Codecov and ASAN checks faster (ad-freiburg#1066)

The coverage analysis is now run without any sanitizers (which were redundant anyway). The address sanitizer (ASAN) runs are now run with expensive tests disabled.
schlegan · Aug 23, 2023 · 3a628ef · 3a628ef
1 parent a77ac86
commit 3a628ef
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/code-coverage.yml b/.github/workflows/code-coverage.yml
@@ -30,8 +30,8 @@ jobs:
           build-type: Debug
           warnings: "-Wall -Wextra "
           # we disable the `assert()` macro as it messes with the coverage reports
-          asan-flags: "-fsanitize=address -fno-omit-frame-pointer -DNDEBUG"
-          ubsan-flags: " -fsanitize=undefined"
+          asan-flags: "-DNDEBUG"
+          ubsan-flags: ""
           coverage-flags: "-fprofile-instr-generate -fcoverage-mapping"
           cmake-flags: "-DCMAKE_C_COMPILER=clang-16 -DCMAKE_CXX_COMPILER=clang++-16"
 

diff --git a/.github/workflows/native-build.yml b/.github/workflows/native-build.yml
@@ -36,7 +36,10 @@ jobs:
             compiler-version: 13
         include:
           - compiler: clang
+            compiler-version: 16
             asan-flags: "-fsanitize=address -fno-omit-frame-pointer"
+            build-type: Release
+            expensive-tests: false
           - compiler: clang
             compiler-version: 16
             ubsan-flags: " -fsanitize=undefined"