diff options
| -rw-r--r-- | .gitlab-ci.yml | 3 | ||||
| -rwxr-xr-x | .gitlab/ci.sh | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8e634cad6e..6902fc0f36 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -683,6 +683,9 @@ validate-x86_64-linux-deb9-debug: ValidateSpeed: SLOW # Override validate flavour default; see #16890. BUILD_SPHINX_PDF: "YES" + # Reduce verbosity otherwise the logs exceed the maximum log size + # (16MBytes). + TEST_VERBOSE: 0 TEST_SPEED: slow TEST_ENV: "x86_64-linux-deb9-debug" BIN_DIST_PREP_TAR_COMP: "ghc-x86_64-deb9-linux-debug.tar.xz" diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 9aff04514c..7a0fefc92b 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -454,6 +454,7 @@ function test_make() { run "$MAKE" V=0 \ "$test_target" \ THREADS="$cores" \ + VERBOSE="$TEST_VERBOSE" \ JUNIT_FILE=../../junit.xml } |