test more recent coq versions

mit-plv · Oct 15, 2020 · c5dffbb · c5dffbb
1 parent 3d3275d
commit c5dffbb
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -16,11 +16,11 @@ before_script:
   - echo | coqtop
 
 env:
-  - COQ_VERSION="master" COQ_PACKAGE="coq"       PPA="ppa:jgross-h/coq-master-daily"
-  - COQ_VERSION="v8.10"  COQ_PACKAGE="coq"       PPA="ppa:jgross-h/coq-8.10-daily"
-  - COQ_VERSION="v8.9"   COQ_PACKAGE="coq"       PPA="ppa:jgross-h/coq-8.9-daily"
-  - COQ_VERSION="v8.8"   COQ_PACKAGE="coq"       PPA="ppa:jgross-h/coq-8.8-daily"
-  - COQ_VERSION="8.9.1"  COQ_PACKAGE="coq-8.9.1" PPA="ppa:jgross-h/many-coq-versions"
-  - COQ_VERSION="8.8.2"  COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions"
+  - COQ_VERSION="master" COQ_PACKAGE="coq"        PPA="ppa:jgross-h/coq-master-daily"
+  - COQ_VERSION="8.12.0" COQ_PACKAGE="coq-8.12.0" PPA="ppa:jgross-h/many-coq-versions"
+  - COQ_VERSION="8.11.2" COQ_PACKAGE="coq-8.11.2" PPA="ppa:jgross-h/many-coq-versions"
+  - COQ_VERSION="8.10.2" COQ_PACKAGE="coq-8.10.2" PPA="ppa:jgross-h/many-coq-versions"
+  - COQ_VERSION="8.9.1"  COQ_PACKAGE="coq-8.9.1"  PPA="ppa:jgross-h/many-coq-versions"
+  - COQ_VERSION="8.8.2"  COQ_PACKAGE="coq-8.8.2"  PPA="ppa:jgross-h/many-coq-versions"
 
 script: make