diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-06-17 00:57:53 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2018-06-17 02:08:49 +0200 |
commit | ddfa18318141f9031e78db4a0e0b242435a3869c (patch) | |
tree | 1ae7c7614d738bfb40e34bf093ec4c3999753149 /scripts | |
parent | 61a2c3c58a5a8e6cbc883cd1fbf5d82a36e76fa1 (diff) |
ci: Show streaming test output
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/ci/steps/40-test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci/steps/40-test.sh b/scripts/ci/steps/40-test.sh index 2a3ef26..cfdf05c 100644 --- a/scripts/ci/steps/40-test.sh +++ b/scripts/ci/steps/40-test.sh @@ -1,2 +1,2 @@ cabal_helper_libexecdir="$build_dir"/build/cabal-helper-wrapper \ - cabal --sandbox-config="$sandbox_config" test --builddir="$build_dir" --show-details=always + cabal --sandbox-config="$sandbox_config" test --builddir="$build_dir" --show-details=streaming |