From 7929e2a061ab1a95fbaa6a417994cfabdc287292 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 11 Mar 2021 16:44:45 -0800
Subject: [PATCH] ci: Replace debug builds with assertion enabled production
 builds. (#6098)

This will help reduce the CI times and ccache sizes.
---
 .github/workflows/ci.yml | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index eb95a7bef..7e029e3c7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -9,21 +9,21 @@ jobs:
         name: [
           production,
           production-clang,
-          debug,
-          debug-cln-clang
+          production-dbg,
+          production-dbg-clang
         ]
 
         exclude:
           - name: production-clang
             os: macos-latest
-          - name: debug
+          - name: production-dbg
             os: macos-latest
-          - name: debug-cln-clang
+          - name: production-dbg-clang
             os: macos-latest
 
         include:
           - name: production
-            config: production --all-bindings --lfsc --editline --poly
+            config: production --all-bindings --lfsc --editline --poly --symfpu
             cache-key: production
             python-bindings: true
             check-examples: true
@@ -31,21 +31,21 @@ jobs:
 
           - name: production-clang
             config: production
-            cache-key: production-clang
+            cache-key: productionclang
             check-examples: true
             env: CC=clang CXX=clang++
             os: ubuntu-latest
             exclude_regress: 1-4
 
-          - name: debug
-            config: debug --symfpu --lfsc --no-debug-symbols --editline
-            cache-key: debug
+          - name: production-dbg
+            config: production --assertions --tracing --unit-testing --symfpu --lfsc --editline
+            cache-key: dbg
             os: ubuntu-latest
             exclude_regress: 1-4
 
-          - name: debug-cln-clang
-            config: debug --symfpu --cln --gpl --no-debug-symbols --no-proofs --poly
-            cache-key: debug-cln-clang
+          - name: production-dbg-clang
+            config: production --assertions --tracing --unit-testing --symfpu --cln --gpl --no-proofs --poly
+            cache-key: dbgclang
             env: CC=clang CXX=clang++
             os: ubuntu-latest
             exclude_regress: 1-4
-- 
2.30.2