diff --git a/.travis.yml b/.travis.yml index c1c30668..c707458b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -11,6 +11,7 @@ addons: - avsm packages: - opam + - time before_install: - export OPAMYES=1 - export OPAMVERBOSE=1