Merge pull request #58 from mirage/travis-ci

Update Travis CI
mirage · May 20, 2021 · 6b90950 · 6b90950
2 parents e7b3ac8 + 9ce3d8b
commit 6b90950
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -8,8 +8,9 @@ env:
  global:
    - PACKAGE="mrmime"
    - DISTRO="alpine"
-   - PINS="crowbar:https://github.com/stedolan/crowbar.git bigarray-overlap:https://github.com/dinosaure/overlap.git emile:https://github.com/dinosaure/emile.git"
  matrix:
-   - OCAML_VERSION=4.07 TESTS=true
    - OCAML_VERSION=4.08 TESTS=true
    - OCAML_VERSION=4.09 TESTS=true
+   - OCAML_VERSION=4.10 TESTS=true
+   - OCAML_VERSION=4.11 TESTS=true
+   - OCAML_VERSION=4.12 TESTS=true