Update .travis.yml

liyishuai · liyishuai · commit f3addbaea26b · 2019-02-23T13:07:27.000-05:00
more patience in caching
diff --git a/.travis.yml b/.travis.yml
@@ -5,7 +5,7 @@ cache:
   directories:
   - "$HOME/.opam"
   - "$HOME/Library/Caches/Homebrew"
-  timeout: 1000
+  timeout: 2000
 env:
   global:
   - OPAMYES=true
