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