diff --git a/.travis.yml b/.travis.yml index 56ea8d8..18dd164 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,8 +12,8 @@ env: before_script: - set -e - - wget https://github.com/ocaml/opam/releases/download/2.0.4/opam-2.0.4-x86_64-linux - - sudo mv opam-2.0.4-x86_64-linux /usr/local/bin/opam + - wget https://github.com/ocaml/opam/releases/download/2.0.5/opam-2.0.5-x86_64-linux + - sudo mv opam-2.0.5-x86_64-linux /usr/local/bin/opam - sudo chmod a+x /usr/local/bin/opam - opam init -y --bare --disable-sandboxing --disable-shell-hook - "opam switch create . $COMPILER $REPOSITORIES --no-install" @@ -25,6 +25,7 @@ before_script: script: - make + - opam lint notifications: email: