Fix tests in linux ci (GitHub).
commit5682184264d54476fda63d2e2bfc327449384b5b
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 22 Sep 2019, 22:32 (7 years ago)
parentf60ae7f
.github/workflows/ci.yml+2−1
@@ -65,9 +65,10 @@ jobs:
6565 - name: Build and test
6666 run: |
6767 export PATH=/opt/cabal/bin:/opt/ghc/bin:$PATH
68− cabal v2-test --enable-tests --run-tests --disable-optimization 2>&1 | tee build.log
68+ cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log
6969 # fail if warnings in local build
7070 ! grep -q "[Ww]arning:" build.log
71+ cabal v2-test
7172
7273 windows:
7374