www

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

commit 9e34985b479e2b15cebbbdbb3e789d38eac88c05
parent 6663cf20fb3e294299031e9ce7320f1be9652b14
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 17:50:50 +0200

Trying to debug the Travis build.

Diffstat:
M.travis.yml | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml @@ -57,7 +57,8 @@ jobs: - raco test -x -p "$(basename "$TRAVIS_BUILD_DIR")" - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs "$(basename "$TRAVIS_BUILD_DIR")"; - rm -fr doc/ - - raco scribble --dest doc/phc-thesis --html --dest-name index --redirect-main https://docs.racket-lang.org/ --redirect https://docs.racket-lang.org/ scribblings/phc-thesis.scrbl + - raco scribble --dest doc/phc-thesis --html --dest-name index --redirect-main https://docs.racket-lang.org/ --redirect https://docs.racket-lang.org/ scribblings/phc-thesis.scrbl > html.log 2>&1 + - cat html.log - (while sleep 10; do free -m || echo "."; done) & - make - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld