diff options
| author | John MacFarlane <[email protected]> | 2023-06-27 14:49:21 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-06-27 14:49:21 -0700 |
| commit | d472d43e4371af26a761bbb09fb20216b30bfc05 (patch) | |
| tree | dc961cc7f364ccf5adfbcaf0d202d79b483ceef9 | |
| parent | 186060dc160e26a4214ff9c784a49f1ffe58f1ac (diff) | |
CI for linux-nix: use -Wall.
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 85ebfdfe0..cb1201825 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -162,7 +162,7 @@ jobs: dist-newstyle key: ${{ runner.os }}-nix-cabal-local-${{ secrets.CACHE_VERSION }} - run: | - nix-shell --run "cabal update && cabal test --disable-optimization" + nix-shell --run "cabal update && cabal test --enable-tests --disable-optimization --ghc-options=-Werror all" windows: |