diff --git a/.travis.yml b/.travis.yml index 4dd52ab16..d9fdc6bf7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -64,7 +64,8 @@ cache: - $HOME/.sbt/boot script: -- ./$TEST_SCRIPT +# proptest timeout within 10 mintues some time during compilation. +- travis_wait 60 ./$TEST_SCRIPT before_cache: # Tricks to avoid unnecessary cache updates