Fix tests in linux ci (GitHub).

2026-08-25 17:56:32 +00:00 · 2019-09-22 22:32:50 -07:00
parent f60ae7f327
commit 5682184264
1 changed files with 2 additions and 1 deletions
@@ -65,9 +65,10 @@ jobs:
    - name: Build and test
      run: |
          export PATH=/opt/cabal/bin:/opt/ghc/bin:$PATH
-          cabal v2-test --enable-tests --run-tests --disable-optimization 2>&1 | tee build.log
+          cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log
          # fail if warnings in local build
          ! grep -q "[Ww]arning:" build.log
+          cabal v2-test

  windows: