diff options
-rw-r--r-- | .travis.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 8168736..56abcee 100644 --- a/.travis.yml +++ b/.travis.yml | |||
@@ -21,10 +21,10 @@ before_cache: | |||
21 | 21 | ||
22 | matrix: | 22 | matrix: |
23 | include: | 23 | include: |
24 | - env: CABALVER=1.18 GHCVER=7.8.4 | 24 | - env: CABALVER=1.18 GHCVER=7.8.4 PUSH_DOCS=false |
25 | compiler: ": #GHC 7.8.4" | 25 | compiler: ": #GHC 7.8.4" |
26 | addons: {apt: {packages: [cabal-install-1.18,ghc-7.8.4], sources: [hvr-ghc]}} | 26 | addons: {apt: {packages: [cabal-install-1.18,ghc-7.8.4], sources: [hvr-ghc]}} |
27 | - env: CABALVER=1.22 GHCVER=7.10.2 | 27 | - env: CABALVER=1.22 GHCVER=7.10.2 PUSH_DOCS=true |
28 | compiler: ": #GHC 7.10.2" | 28 | compiler: ": #GHC 7.10.2" |
29 | addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.2], sources: [hvr-ghc]}} | 29 | addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.2], sources: [hvr-ghc]}} |
30 | 30 | ||
@@ -83,7 +83,7 @@ script: | |||
83 | - cabal check | 83 | - cabal check |
84 | - cabal sdist # tests that a source-distribution can be generated | 84 | - cabal sdist # tests that a source-distribution can be generated |
85 | 85 | ||
86 | - bash ./scripts/pushdoc.sh | 86 | - if [ true = $PUSH_DOCS ]; then bash ./scripts/pushdoc.sh; fi |
87 | 87 | ||
88 | # Check that the resulting source distribution can be built & installed. | 88 | # Check that the resulting source distribution can be built & installed. |
89 | # If there are no other `.tar.gz` files in `dist`, this can be even simpler: | 89 | # If there are no other `.tar.gz` files in `dist`, this can be even simpler: |