diff --git a/.travis.yml b/.travis.yml index f66a4c7c..db290d32 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,7 +8,7 @@ env: - PINS="containers:." - DISTRO="ubuntu-16.04" matrix: - - PACKAGE="containers" OCAML_VERSION="4.02.3" EXTRA_DEPS="base-threads base-unix" + - PACKAGE="containers" OCAML_VERSION="4.02.3" EXTRA_DEPS="base-threads base-unix" TESTS=false - PACKAGE="containers" OCAML_VERSION="4.03" EXTRA_DEPS="base-threads base-unix" - PACKAGE="containers" OCAML_VERSION="4.04" EXTRA_DEPS="base-threads base-unix" - PACKAGE="containers" OCAML_VERSION="4.05" EXTRA_DEPS="base-threads base-unix"