CI: use template

Author: liyishuai

.travis.yml

@@ -5,38 +5,35 @@ cache:
   directories:
   - "$HOME/.opam"
   - "$HOME/Library/Caches/Homebrew"
-addons:
-  apt:
-    sources:
-    - avsm
-    packages:
-    - opam
-    - aspcud
+  timeout: 1000
 env:
   global:
   - OPAMYES=true
-  - COMPILER=4.04.0
+  - OCAML_VERSION=4.04
+  - OPAMVERBOSE=1
+  - OPAMKEEPBUILDDIR=true
   matrix:
-  - COQ="coq.8.8.0"
-  - COQ="coq.8.8.1"
+  - COQ="8.8.0"
+  - COQ="8.8.1"
+  - COQ="8.8.2"
 matrix:
   fast_finish: true
   allow_failures:
   - os: osx
 os:
 - linux
 - osx
-before_install: if [ $TRAVIS_OS_NAME = osx ]; then travis_wait brew update; brew install
-  opam; fi
+before_install: curl -L https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-ocaml.sh | sh
 install:
-- opam init --compiler=${COMPILER} -n
 - eval $(opam config env)
 - opam config var root
 - ocamlc -v
 - opam repo add coq-released https://coq.inria.fr/opam/released || true
 - opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev || true
 - opam update
-- travis_wait 30 opam install $COQ coq-quickchick.8.8.dev
+- opam pin add coq $COQ
+- opam pin add --dev-repo coq-quickchick 8.8.dev
+- opam upgrade
 - opam list
 script:
 - set -e
@@ -53,3 +50,4 @@ script:
 notifications:
   slack:
     secure: qwnWa6Dyj5//Hc+O74qsAT/vtoMWDv8wLcljt+tUDw0m+YWNB1umrvmSI3++/Fe4f0EEQhz/E2pzaNGyEF8oddhsCn8JoH9DzpaDWk/dNwbcMUvRVIHbnq0V+d4+AHTBD05eZgMlmPC8DYPNOSv7wJLJXtAmbHtl0G1F961bbZY39WDLAQFqa71trnTEX8hxIG0nrF8W3hCrGg6LFH+Mk1rzG5zBQqxSwnlxsr3Uj6utuYXeidaTShrGb3hqcRlg5N/CyAqN0ZzGkl2W9ng59dStTNyTsDeuUANOBmuB0V95W5c7zSXRMuOk/N/apKXVRGu+DKXirSjCZNZyE/kCNDS40+0JnZn8la4em806rQa0cp+ck+0yfV8TvoCOulHnvq0XAaAZzWLVqgB6wjTuDhNDuI9FpULRGnmQ5fkWVo3ozFrFdNqud1EMJkqJlfUL/F3xuyuHRLR0Z5RHGuTYURIKA/En3Do1oPl3rHubTTL4KeGIiOlBJiKsom0/AV8q15trwCF57aK3o1q6n8Zcp1gYOrZjMDv5MXlhnkKvQzkSkeaYRoOiMEhVe0h0dRgfT/uf/ugIXiWkbMhlrFuSlk2vXM5g0PEimw+Zjl2mySQgu4okawGJI/zRuVQr1xBX30uEOMcevEv/FN8RqgjGlVl/DArUqx6pYWRgWfac6gE=
+    on_success: :change