chore: rename reldebug preset to more appropriate relwithassert (#13657)

.github/workflows/ci.yml

@@ -311,11 +311,11 @@ jobs:
                 "CMAKE_OPTIONS": "-DLEAN_EXTRA_CXX_FLAGS=-Werror -DUSE_LAKE_CACHE=ON",
               },
               {
-                "name": "Linux Reldebug",
+                "name": "Linux RelWithAssert",
                 "os": "ubuntu-latest",
                 "enabled": level >= 2,
                 "test": true,
-                "CMAKE_PRESET": "reldebug",
+                "CMAKE_PRESET": "relwithassert",
                 // * `elab_bench/big_do` crashes with exit code 134
                 // * `compile_bench/channel` randomly segfaults
                 "CTEST_OPTIONS": "-E 'elab_bench/big_do|compile_bench/channel'",

CMakePresets.json

@@ -33,14 +33,14 @@
       "binaryDir": "${sourceDir}/build/debug"
     },
     {
-      "name": "reldebug",
+      "name": "relwithassert",
       "displayName": "Release with assertions enabled",
       "cacheVariables": {
         "CMAKE_BUILD_TYPE": "RelWithAssert",
         "STRIP_BINARIES": "OFF"
       },
       "generator": "Unix Makefiles",
-      "binaryDir": "${sourceDir}/build/reldebug"
+      "binaryDir": "${sourceDir}/build/relwithassert"
     },
     {
       "name": "sanitize",
@@ -79,8 +79,8 @@
       "configurePreset": "debug"
     },
     {
-      "name": "reldebug",
-      "configurePreset": "reldebug"
+      "name": "relwithassert",
+      "configurePreset": "relwithassert"
     },
     {
       "name": "sanitize",
@@ -108,8 +108,8 @@
       "inherits": "release"
     },
     {
-      "name": "reldebug",
-      "configurePreset": "reldebug",
+      "name": "relwithassert",
+      "configurePreset": "relwithassert",
       "inherits": "release"
     },
     {