diff --git a/.travis.yml b/.travis.yml index be2ca9470a..5de8b2983a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,4 +7,8 @@ sudo: true env: matrix: - PACKAGE="emile" OCAML_VERSION=4.06 TESTS=true + - PACKAGE="emile" OCAML_VERSION=4.07 TESTS=true + - PACKAGE="emile" OCAML_VERSION=4.08 TESTS=true + - PINS="mrmime:https://github.com/mirage/mrmime.git" PACKAGE="emile" OCAML_VERSION=4.06 TESTS=true - PINS="mrmime:https://github.com/mirage/mrmime.git" PACKAGE="emile" OCAML_VERSION=4.07 TESTS=true + - PINS="mrmime:https://github.com/mirage/mrmime.git" PACKAGE="emile" OCAML_VERSION=4.08 TESTS=true