diff options
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 217b297229..3bca1febbf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -61,7 +61,7 @@ ghc-linters: - ./boot - ./configure $CONFIGURE_ARGS - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` - - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` docs-haddock + - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --docs=no-sphinx docs cache: key: hadrian paths: @@ -386,6 +386,7 @@ validate-x86_64-windows-hadrian: mkdir -p _build cp -R inplace/mingw _build/mingw - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick" + - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick --docs=no-sphinx docs # FIXME: Bindist disabled due to #16073 #- bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh binary-dist" # FIXME: Testsuite disabled due to #16156. |