Disable docs for ghcjs build in ci.

This commit is contained in:
Pranay Sashank 2019-12-03 14:10:36 +05:30
parent 3b9b8d1baf
commit 4e04eff36d

View File

@ -114,7 +114,7 @@ matrix:
# Use CABAL_BUILD_OPTIONS to pass any options to cabal e.g. project-file
# DISABLE_SDIST_BUILD is set because of a cabal issue. 'cabal info'
# unnecessarily requires "ghc".
- env: BUILD=cabal-v2 ENABLE_GHCJS=y ENABLE_INSTALL= DISABLE_SDIST_BUILD=y
- env: BUILD=cabal-v2 ENABLE_GHCJS=y ENABLE_INSTALL= DISABLE_DOCS=y DISABLE_SDIST_BUILD=y
addons:
apt:
sources:
@ -200,7 +200,7 @@ matrix:
- env: BUILD=cabal-v2 GHCVER=head GHC_OPTIONS=""
- env: BUILD=stack RESOLVER=nightly DISABLE_SDIST_BUILD=y DISABLE_DIST_CHECKS=y
- env: BUILD=stack RESOLVER=lts-13 HLINT_COMMANDS="hlint lint ."
- env: BUILD=cabal-v2 ENABLE_GHCJS=y ENABLE_INSTALL= DISABLE_SDIST_BUILD=y
- env: BUILD=cabal-v2 ENABLE_GHCJS=y ENABLE_INSTALL= DISABLE_DOCS=y DISABLE_SDIST_BUILD=y
# ------------------------------------------------------------------------
# Settings beyond this point are advanced and normally not tweaked