From 21e88c8b0ff2979f416c5b2e240c65acadcf5fb2 Mon Sep 17 00:00:00 2001
From: Vladimir <bogdad@gmail.com>
Date: Sat, 1 Apr 2023 20:16:36 +0200
Subject: [PATCH] run sanitizers in release, otherwise too slow (#5)

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 88e70e495..482fc6457 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -326,7 +326,7 @@ jobs:
 #          sudo apt-get install cmake
 #
 #      - name: Configure
-#        run: cmake . -DCMAKE_BUILD_TYPE=Debug -DLLAMA_SANITIZE_${{ matrix.sanitizer }}=ON
+#        run: cmake . -DCMAKE_BUILD_TYPE=RelWithDebInfo -DLLAMA_SANITIZE_${{ matrix.sanitizer }}=ON
 #
 #      - name: Build
 #        run: |