www

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

commit ef2de270fd03cc7ce7a91990055fa7642b7af72c
parent 1d84bba0d83a7300c8fb61da874b49bfc07540e4
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Thu, 22 Jun 2017 11:05:16 +0200

…

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

diff --git a/.travis.yml b/.travis.yml @@ -27,6 +27,7 @@ jobs: - echo "$TRAVIS_BUILD_ID" > ~/.racket/travis_build_id - raco pkg install --deps search-auto -j 2 phc-adt # Start installing stuff, continue later to avoid timeout. script: + - echo . - stage: phase2 addons: apt: @@ -56,6 +57,7 @@ jobs: - mv ~/.racket ~/.racket-discard - mkdir ~/.racket # clear the cache script: + - echo . #after_success: # - sh ./auto-push-master.sh