mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 01:36:45 +00:00
Hide successes on cabal CI builds
This commit is contained in:
@@ -91,7 +91,7 @@ jobs:
|
||||
cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log
|
||||
# fail if warnings in local build
|
||||
! grep -q ": *[Ww]arning:" build.log || exit 1
|
||||
cabal v2-test --disable-optimization
|
||||
cabal v2-test --disable-optimization --test-option=--hide-successes
|
||||
|
||||
windows:
|
||||
|
||||
|
||||
Reference in New Issue
Block a user