commit d9de8146e881d772a6d158b706c59d094cd78a6e
parent 2c860580b5c7f972d9bc847e2438a8e904a9c79c
Author: Georges Dupéron <georges.duperon@gmail.com>
Date: Thu, 20 Jul 2017 11:18:57 +0200
Install type-expander first, to avoid timeout on multi-id because it's compiling everything else without displaying any information.
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -30,6 +30,7 @@ jobs:
- echo "$TRAVIS_BUILD_ID" > ~/.racket/travis_build_id
# Install custom version of scribble-lib which includes fixes for bibted-related problems which have not merged upstream yet. Also includes extended support for highlighting Racket code.
- raco pkg install --force --name scribble-lib https://github.com/jsmaniac/hyper-literate.git?path=scribble-lib#my-changes
+ - raco pkg install --deps search-auto -j 2 type-expander # Start installing stuff, continue later to avoid timeout.
- raco pkg install --deps search-auto -j 2 phc-adt # Start installing stuff, continue later to avoid timeout.
script:
- true