www

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

commit 96ca209f6212d539e79e741e5670f0b1d95f00cd
parent 40556076097a869a13ca70690cbece82f8ff02c9
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Thu, 22 Jun 2017 13:08:58 +0200

Last fix for .travis.yml

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

diff --git a/.travis.yml b/.travis.yml @@ -27,7 +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 . + - true - stage: phase2 addons: apt: @@ -57,7 +57,7 @@ jobs: - mv ~/.racket ~/.racket-discard - mkdir ~/.racket # clear the cache script: - - echo . + - true #after_success: # - sh ./auto-push-master.sh