summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-07-02 12:21:36 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-07-03 09:34:16 -0400
commit973c61b526d2172d73a6e59977b9f40b5d76650f (patch)
tree461dedcd6d72dc070650db1c943e7e7a10079573 /.gitlab-ci.yml
parentacd795583625401c5554f8e04ec7efca18814011 (diff)
downloadhaskell-973c61b526d2172d73a6e59977b9f40b5d76650f.tar.gz
gitlab-ci: Fix doc-tarball job
Previously we used the deb9-debug job which used the `validate` build flavour which disabled `BUILD_SPHINX_PDF`. Fix this. Fixes #16890.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b32f8268f0..6d4f28ab1a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -503,6 +503,8 @@ validate-x86_64-linux-deb9-debug:
stage: build
variables:
BUILD_FLAVOUR: validate
+ # Override validate flavour default; see #16890.
+ BUILD_SPHINX_PDF: "YES"
TEST_TYPE: slowtest
TEST_ENV: "x86_64-linux-deb9-debug"
artifacts: