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.

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[@]}"}" \
     "$@"
 }