diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-10-13 13:28:21 -0400 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-10-24 16:39:41 -0400 |
commit | 207002220d885f8e32ca06a024bc86a5daab7c25 (patch) | |
tree | 2ced81df56c02d278691ded481da45c6a6ada8d0 | |
parent | fd62a76ea4c4d03dec5f2a1ce3021d222918508a (diff) | |
download | haskell-wip/hadrian-doc-typo.tar.gz |
gitlab-ci: Enable sphinx documentation in linux hadrian jobswip/hadrian-doc-typo
This was disabled in 9aa27273afddd3cbf4c03c70954f24ac8ea1a706 but it's
not clear why. Let's try reenabling it.
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6d9f778419..fd986e6fed 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -197,8 +197,8 @@ lint-release-changelogs: - if [[ -d ./cabal-cache ]]; then cp -R ./.cabal-cache ~/.cabal-cache; fi - ./boot - ./configure $CONFIGURE_ARGS - - hadrian/build.cabal.sh --flavour=$FLAVOUR -j`mk/detect-cpu-count.sh` --docs=no-sphinx binary-dist - - hadrian/build.cabal.sh --flavour=$FLAVOUR -j`mk/detect-cpu-count.sh` --docs=no-sphinx test --summary-junit=./junit.xml + - hadrian/build.cabal.sh --flavour=$FLAVOUR -j`mk/detect-cpu-count.sh` binary-dist + - hadrian/build.cabal.sh --flavour=$FLAVOUR -j`mk/detect-cpu-count.sh` test --summary-junit=./junit.xml - mv _build/bindist/ghc*.tar.xz ghc.tar.xz cache: key: hadrian |