diff --git a/.travis.yml b/.travis.yml index 288e49e4..3892926c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,10 +7,12 @@ env: global: - PINS="sidekick:." - DISTRO="ubuntu-16.04" + - PACKAGE="sidekick" matrix: #- PACKAGE="sidekick" OCAML_VERSION="4.02.3" - - PACKAGE="sidekick" OCAML_VERSION="4.03" - - PACKAGE="sidekick" OCAML_VERSION="4.04" - - PACKAGE="sidekick" OCAML_VERSION="4.05" - - PACKAGE="sidekick" OCAML_VERSION="4.06" - - PACKAGE="sidekick" OCAML_VERSION="4.08" + - OCAML_VERSION="4.03" + - OCAML_VERSION="4.04" + - OCAML_VERSION="4.05" + - OCAML_VERSION="4.06" + - OCAML_VERSION="4.08" + - OCAML_VERSION="4.09"