commit a5e488f4781abc1c12165c7c412a718c052b2dc6
parent b31ded386637836e30e3fb344142f25b074d7b1d
Author: Georges Dupéron <georges.duperon@gmail.com>
Date: Mon, 20 Mar 2017 19:57:44 +0100
Deploy only once per build
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -30,7 +30,7 @@ env:
#- RACKET_VERSION=6.6
#- RACKET_VERSION=6.7
- RACKET_VERSION=6.8
- - RACKET_VERSION=HEAD
+ - RACKET_VERSION=HEAD DEPLOY=true
addons:
apt:
@@ -77,4 +77,4 @@ script:
# - raco cover -b -f coveralls -d $TRAVIS_BUILD_DIR/coverage .
after_success:
-- sh ./auto-push-gh-pages.sh
+- if test "${DEPLOY:-}" = "true"; then sh ./auto-push-gh-pages.sh; fi