www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 22dfa1107a493493d3e9a064668766ee062736a8
parent 10bfadbfa8ebc4efc98f087b8abd9f68ab727045
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 01:49:15 +0100

Deploy the docs as part of the script: step, so that errors are caught (the deploy script is conditional, and won't fail on forks, PRs or non-master branches).

Diffstat:
M.travis.yml | 4+---
1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml @@ -71,10 +71,8 @@ script: - raco test -x -p phc-thesis - raco setup --check-pkg-deps --pkgs phc-thesis - make + - if test "${DEPLOY:-}" = "true"; then sh ./auto-push-gh-pages.sh; fi #after_success: # - raco pkg install --deps search-auto cover cover-coveralls # - raco cover -b -f coveralls -d $TRAVIS_BUILD_DIR/coverage . - -after_success: -- if test "${DEPLOY:-}" = "true"; then sh ./auto-push-gh-pages.sh; fi