aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJulien Tanguy <julien.tanguy@jhome.fr>2015-09-25 14:37:02 +0200
committerJulien Tanguy <julien.tanguy@jhome.fr>2015-09-25 14:37:46 +0200
commit27d15c27e396a98f445cdc16b2325d5838e6c734 (patch)
treeff4f362354acc982d891fd8864ae029327f06564
parent33b81fd2d30ad7d48513ac3cc89cea9a56736c7c (diff)
downloadhmacaroons-27d15c27e396a98f445cdc16b2325d5838e6c734.tar.gz
hmacaroons-27d15c27e396a98f445cdc16b2325d5838e6c734.tar.zst
hmacaroons-27d15c27e396a98f445cdc16b2325d5838e6c734.zip
Dedup docs push
Add a $PUSH_DOCS check to prevent all instances of travis from pushing docs [ci skip]
-rw-r--r--.travis.yml6
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
22matrix: 22matrix:
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: