Re agda#7081: add build with debug-{serialisation,parsing} flags to c…

…abal CI
VitalyAnkh · Mar 5, 2024 · c901bf3 · c901bf3
1 parent 3c5d9a1
commit c901bf3
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/cabal.yml b/.github/workflows/cabal.yml
@@ -128,8 +128,8 @@ jobs:
           description: Linux debug
           ghc-ver: 9.8.1
           os: ubuntu-22.04
-        - cabal-flags: |
-            --enable-tests -f enable-cluster-counting -f debug -c containers>=0.7 --allow-newer=containers
+        - cabal-flags: --enable-tests -f enable-cluster-counting -f debug -f debug-serialisation
+            -f debug-parsing -c containers>=0.7 --allow-newer=containers
           description: Linux containers 0.7
           ghc-ver: 9.8.1
           os: ubuntu-22.04

diff --git a/src/github/workflows/cabal.yml b/src/github/workflows/cabal.yml
@@ -79,8 +79,9 @@ jobs:
             ## Andreas, 2023-09-28: Test containers-0.7 here which has breaking changes.
             ## Note: -c 'containers >= 0.7' with single quotes does not get communicated properly.
             ## (The single quotes stay, and "-c 'containers" is an option parse error for cabal.)
-            cabal-flags: |
-              --enable-tests -f enable-cluster-counting -f debug -c containers>=0.7 --allow-newer=containers
+            cabal-flags: >-
+              --enable-tests -f enable-cluster-counting -f debug -f debug-serialisation -f debug-parsing
+              -c containers>=0.7 --allow-newer=containers
 
           # macOS with default flags
           - os: macos-12