From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 12 Mar 2021 00:44:45 +0000 (-0800)
Subject: ci: Replace debug builds with assertion enabled production builds. (#6098)
X-Git-Tag: cvc5-1.0.0~2093
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7929e2a061ab1a95fbaa6a417994cfabdc287292;p=cvc5.git

ci: Replace debug builds with assertion enabled production builds. (#6098)

This will help reduce the CI times and ccache sizes.
---

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