chore: CI: optimize code under Linux Debug

2026-04-04 19:24:09 +00:00 · 2024-05-09 22:46:27 +02:00
1 changed files with 2 additions and 3 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -97,9 +97,8 @@ jobs:
                "name": "Linux Debug",
                "os": "ubuntu-latest",
                "quick": false,
-                "CMAKE_OPTIONS": "-DCMAKE_BUILD_TYPE=Debug",
-                // exclude seriously slow tests
-                "CTEST_OPTIONS": "-E 'interactivetest|leanpkgtest|laketest|benchtest'"
+                // enable debug assertions, but still optimize code as usual for reasonable speed
+                "CMAKE_OPTIONS": "-DLEAN_EXTRA_CXX_FLAGS=-UNDEBUG -DLEANC_EXTRA_FLAGS=-UNDEBUG",
              },
              // TODO: suddenly started failing in CI
              /*{