Merge remote-tracking branch 'origin/backport-range-algorithms-c++17'…

… into backport-range-algorithms-c++17
ad-freiburg · Dec 12, 2024 · 14c5347 · 14c5347
2 parents 69c5387 + a13676b
commit 14c5347
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/native-build.yml b/.github/workflows/native-build.yml
@@ -43,6 +43,7 @@ jobs:
           - compiler: gcc
             compiler-version: 11
             additional-cmake-options: "-DUSE_CPP_17_BACKPORTS=ON"
+            build-type: Release
           - compiler: clang
             compiler-version: 16
             asan-flags: "-fsanitize=address -fno-omit-frame-pointer"