From dc52e5e176a9378f982c7adc9f8b69c15fc191a1 Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Wed, 24 Jul 2019 20:51:48 +0200 Subject: [PATCH] Add some others CI about emile --- .travis.yml | 4 ++++ 1 file changed, 4 insertions(+) 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