Add some others CI about emile

mirage · Jul 24, 2019 · dc52e5e · dc52e5e
1 parent ff115e8
commit dc52e5e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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