From 3d196f44681fb3b23ff8a79fbd44e12308680531 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 20 Apr 2018 10:46:39 +0200
Subject: travis: build against 8.6 -> 8.8

---
 .travis.yml | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 0d479b1..81d5839 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -21,22 +21,16 @@ env:
   matrix:
   - TEST_TARGET="v8.6"
   - TEST_TARGET="v8.7"
+  - TEST_TARGET="v8.8"
   - TEST_TARGET="master"
 
-# matrix:
-#   allow_failures:
-  # v8.5 was too slow to build mathcomp
-  # - env: TEST_TARGET="v8.5"
-
 install:
 - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
 - eval $(opam config env)
 - opam config var root
 - opam install -j ${NJOBS} -y ocamlfind camlp5 ${EXTRA_OPAM}
 - opam list
-# We could do "opam install coq=${TEST_TARGET}" but not so sure how
-# that does work for trunk.
-- git clone --depth 1 -b ${TEST_TARGET} git://scm.gforge.inria.fr/coq/coq.git coq-${TEST_TARGET}
+- git clone --depth 1 -b ${TEST_TARGET} https://github.com/coq/coq.git coq-${TEST_TARGET}
 - cd coq-${TEST_TARGET}
 - ./configure -native-compiler no -local -coqide no
 - make -j ${NJOBS}
-- 
cgit v1.2.3