summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2021-09-23 11:17:35 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-09-28 01:53:36 -0400
commit66c85e2ece645d62e74fcb7d57abb771118a2f60 (patch)
tree8dcea02732bacc560458f553df1a1739090f5fb0
parent2896369067027f2b283a9d2e902560c822defc4e (diff)
downloadhaskell-66c85e2ece645d62e74fcb7d57abb771118a2f60.tar.gz
ci: Increase default verbosity level to `-V` (Verbose)
Given the previous commit, `-V` allows us to see some useful information in CI (such as the call stack on failure) which normally people don't want to see. As a result the $VERBOSE variable now tweaks the diagnostic level one level higher (to Diagnostic), which produces a lot of output.
-rwxr-xr-x.gitlab/ci.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index 95e8b052fd..9a0e940ee7 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -546,6 +546,7 @@ function run_hadrian() {
-j"$cores" \
--broken-test="${BROKEN_TESTS:-}" \
--bignum=$BIGNUM_BACKEND \
+ -V \
"${args[@]+"${args[@]}"}" \
"$@"
}