From 3262256d5f154c29ff44e305830e83702b8137b6 Mon Sep 17 00:00:00 2001
From: Patrick Kenney <patrickkenney9801@gmail.com>
Date: Sat, 13 Apr 2024 18:22:36 -0500
Subject: [PATCH] ci: Disable debug builds (#32)

---
 .github/workflows/build-and-test.yml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index a95f29e42..945716c38 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -53,11 +53,8 @@ jobs:
         shell: bash -l {0}
     strategy:
       matrix:
-        build-type: ['Release', 'Debug']
+        build-type: ['Release']
         sanitizer-type: ['nosan', 'san']
-        exclude:
-          - build-type: 'Debug'
-            sanitizer-type: 'san'
     needs: docker-create-ubuntu-2204
 
     steps:
@@ -80,9 +77,6 @@ jobs:
         if [ ${{ matrix.sanitizer-type }} == 'san' ]; then
           echo "GALOIS_CONTAINER_ENV=$GALOIS_CONTAINER_ENV -e=GALOIS_EXTRA_CXX_FLAGS='\"-fsanitize=address -fsanitize=undefined\"'" >> $GITHUB_ENV
         fi
-        if [ ${{ matrix.build-type }} == 'Debug' ]; then
-          echo "GALOIS_CONTAINER_ENV=$GALOIS_CONTAINER_ENV -e=GALOIS_EXTRA_CXX_FLAGS='-O3'" >> $GITHUB_ENV
-        fi
         cat $GITHUB_ENV
 
     - name: Configure