No longer test master using Coq 8.5pl3.

b371f874 · Robbert Krebbers · 7d7c9871 · b371f874 · b371f874
Commit b371f874 authored Sep 17, 2017 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 5 deletions

.gitlab-ci.yml .gitlab-ci.yml +0 -4

README.md README.md +1 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -44,7 +44,3 @@ stdpp-coq8.6:
  variables:
    COQ_VERSION: "8.6"

-stdpp-coq8.5.3:
-  <<: *template
-  variables:
-    COQ_VERSION: "8.5.3"
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ developed by Robbert Krebbers, Ralf Jung, and Jacques Henri-Jourdan.

 This version is known to compile with:

- - Coq 8.5pl3 / 8.6
+ - Coq version 8.6 / 8.6.1 / 8.7beta

 ## Building Instructions