ci: Enable -Wall -Wcompat -Werror

GaloisInc · Feb 13, 2025 · eeb379a · eeb379a
1 parent d6637d1
commit eeb379a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/cabal.project.werror b/.github/cabal.project.werror
@@ -0,0 +1 @@
+ghc-options: -Wall -Wcompat -Werror
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -38,6 +38,9 @@ jobs:
             cabal-${{ runner.os }}-ghc${{ matrix.ghc }}-${{ github.ref }}
           restore-keys: |
             cabal-${{ runner.os }}-ghc${{ matrix.ghc }}-
+      - name: Enable -Werror
+        shell: bash
+        run: cp .github/cabal.project.werror cabal.project.local
       - name: Cabal update
         shell: bash
         run: cabal update