Don't use --test-option with cabal.
It's only supported in later versions, apparently.
commitbe826cd39e36515ba7e2f8771b2391a4c25797e1
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 30 Nov 2019, 12:07 (7 years ago)
parent9ffe6bb
.github/workflows/ci.yml+1−1
@@ -66,7 +66,7 @@ jobs:
6666 cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log
6767 # fail if warnings in local build
6868 ! grep -q ": *[Ww]arning:" build.log || exit 1
69− cabal v2-test --disable-optimization --test-options='--hide-successes'
69+ cabal v2-test --disable-optimization
7070
7171 windows:
7272