diff --git a/.travis.yml b/.travis.yml index 4494126..bdcc8c7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -19,3 +19,6 @@ env: cache: directories: - $HOME/.opam + +git: + depth: 1