aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.travis.yml6
1 files changed, 4 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml
index 31e3e3498..a7ad8b2df 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -8,14 +8,16 @@ matrix:
fast_finish: true
include:
- env: COQ_VERSION="trunk" TARGETS="coq display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-trunk-daily"
+ - env: COQ_VERSION="v8.7" TARGETS="coq display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily"
- env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily"
- env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily"
- env: COQ_VERSION="8.6" TARGETS="no-curves-proofs display" COQ_PACKAGE="coq-8.6" PPA="ppa:jgross-h/many-coq-versions"
- env: TARGETS="printlite lite" COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" PPA="ppa:jgross-h/many-coq-versions"
allow_failures:
- - env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily"
- - env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily"
- env: COQ_VERSION="trunk" TARGETS="coq display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-trunk-daily"
+ - env: COQ_VERSION="v8.7" TARGETS="coq display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily"
+ - env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily"
+ - env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily"
before_install:
- if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi