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