Fix linux ci.
commit67822bd925163eeceb35d0275f43d6261ea198e0
authorJohn MacFarlane <jgm@berkeley.edu>
dateMon 23 Sep 2019, 09:49 (7 years ago)
parent4b6a76c
.github/workflows/ci.yml+1−1
@@ -68,7 +68,7 @@ jobs:
6868 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
71+ cabal v2-test --disable-optimization
7272
7373 windows:
7474