From 9a1075a99b8d91297344bc7d9a920b73c25378c4 Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@cis.upenn.edu>
Date: Sun, 17 Feb 2019 17:41:36 -0500
Subject: [PATCH] CI: use template

---
 .travis.yml | 26 ++++++++++++--------------
 1 file changed, 12 insertions(+), 14 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index b276b221..4b4fbf00 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,20 +5,17 @@ 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:
@@ -26,17 +23,17 @@ matrix:
 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