From f3addbaea26b018860701b9a796b2de08850b9e3 Mon Sep 17 00:00:00 2001 From: Yishuai Li Date: Sat, 23 Feb 2019 12:56:45 -0500 Subject: [PATCH] Update .travis.yml more patience in caching --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 4b4fbf00..31c49fa6 100644 --- 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