Update travisCI file (thx to autoci)

mirage · Apr 29, 2018 · 464d943 · 464d943
1 parent 125e426
commit 464d943
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,7 +1,12 @@
 language: c
-sudo: required
-install: wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-opam.sh
-script: bash -ex .travis-opam.sh
+install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-docker.sh
+script: bash -ex .travis-docker.sh
+services:
+- docker
 env:
-  - OCAML_VERSION=4.02 REVDEPS=* PACKAGE=cow
-  - OCAML_VERSION=4.03 REVDEPS=* PACKAGE=cow
+  global:
+  - PINS="cow:."
+  - DISTRO="debian-stable"
+  matrix:
+  - PACKAGE="cow" OCAML_VERSION="4.05.0"
+  - PACKAGE="cow" OCAML_VERSION="4.06.0"