build against the released Coq 8.6

8fd9c718 · Ralf Jung · 2472f932 · 8fd9c718 · 8fd9c718
Commit 8fd9c718 authored Dec 18, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

.gitlab-ci.yml .gitlab-ci.yml +1 -1

README.md README.md +1 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,7 +28,7 @@ iris-coq8.6beta:
  - coq
  script:
  # prepare
-  - . build/opam-ci.sh 'coq 8.6.dev' 'coq-mathcomp-ssreflect dev'
+  - . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect dev'
  # build
  - 'time make -j8'
  cache:

--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ This is the Coq development of the [Iris Project](http://iris-project.org).

 This version is known to compile with:

- - Coq 8.5pl3
+ - Coq 8.5pl3 / 8.6
 - Ssreflect 1.6

 The easiest way to install the correct versions of the dependencies is through