drop 8.7 from travis, add 8.9

mit-plv · Dec 12, 2018 · 1709864 · 1709864
1 parent bd2c04c
commit 1709864
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -11,9 +11,7 @@ matrix:
   include:
     - env: COQ_VERSION="master" COQ_PACKAGE="coq"     PPA="ppa:jgross-h/coq-master-daily"
     - env: COQ_VERSION="v8.8"   COQ_PACKAGE="coq"     PPA="ppa:jgross-h/coq-8.8-daily"
-    - env: COQ_VERSION="v8.7"   COQ_PACKAGE="coq"     PPA="ppa:jgross-h/coq-8.7-daily"
-  allow_failures:
-    - env: COQ_VERSION="v8.7"   COQ_PACKAGE="coq"     PPA="ppa:jgross-h/coq-8.7-daily"
+    - env: COQ_VERSION="v8.9"   COQ_PACKAGE="coq"     PPA="ppa:jgross-h/coq-8.9-daily"
 
 before_install:
   - if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi