Hide successes on cabal CI builds
commit671bb42c43ff82cbbbdfce339ce1b0184274015d
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 18 Apr 2020, 18:15 (7 years ago)
parentf0c6411
.github/workflows/ci.yml+1−1
@@ -91,7 +91,7 @@ jobs:
9191 cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log
9292 # fail if warnings in local build
9393 ! grep -q ": *[Ww]arning:" build.log || exit 1
94− cabal v2-test --disable-optimization
94+ cabal v2-test --disable-optimization --test-option=--hide-successes
9595
9696 windows:
9797