From 2f8e2247b49158cff15894f4e6426de1c2473592 Mon Sep 17 00:00:00 2001
From: Nadav Samet <thesamet@gmail.com>
Date: Sun, 24 Mar 2019 11:28:18 -0700
Subject: [PATCH] Increase travis timeout for proptests

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

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