diff options
Diffstat (limited to '.gitlab/jobs.yaml')
| -rw-r--r-- | .gitlab/jobs.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab/jobs.yaml b/.gitlab/jobs.yaml index c6217421c4..ed95507314 100644 --- a/.gitlab/jobs.yaml +++ b/.gitlab/jobs.yaml @@ -781,6 +781,7 @@ "BIN_DIST_NAME": "ghc-x86_64-linux-centos7-validate", "BUILD_FLAVOUR": "validate", "CONFIGURE_ARGS": "", + "HADRIAN_ARGS": "--docs=no-sphinx", "TEST_ENV": "x86_64-linux-centos7-validate", "XZ_OPT": "-9" } @@ -2230,6 +2231,7 @@ "BIN_DIST_NAME": "ghc-x86_64-linux-centos7-release", "BUILD_FLAVOUR": "release", "CONFIGURE_ARGS": "", + "HADRIAN_ARGS": "--docs=no-sphinx", "IGNORE_PERF_FAILURES": "all", "TEST_ENV": "x86_64-linux-centos7-release", "XZ_OPT": "-9" @@ -3080,6 +3082,7 @@ "BIN_DIST_NAME": "ghc-x86_64-linux-centos7-validate", "BUILD_FLAVOUR": "validate", "CONFIGURE_ARGS": "", + "HADRIAN_ARGS": "--docs=no-sphinx", "TEST_ENV": "x86_64-linux-centos7-validate" } }, |