Skip to content
Snippets Groups Projects
Commit 76b2ec95 authored by Ralf Jung's avatar Ralf Jung
Browse files

test against stable released Coq 8.7

parent a485dd7d
Branches
Tags
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 1
− 1
View file @ 76b2ec95
...@@ -41,7 +41,7 @@ opam: ...@@ -41,7 +41,7 @@ opam:
build-coq8.7: build-coq8.7:
<<: *template <<: *template
variables: variables:
COQ_VERSION: "8.7.dev" COQ_VERSION: "8.7.0"
build-coq8.6.1: build-coq8.6.1:
<<: *template <<: *template
......
README.md
+ 1
− 1
View file @ 76b2ec95
...@@ -32,7 +32,7 @@ developed by Robbert Krebbers, Ralf Jung, and Jacques Henri-Jourdan. ...@@ -32,7 +32,7 @@ developed by Robbert Krebbers, Ralf Jung, and Jacques Henri-Jourdan.
This version is known to compile with: This version is known to compile with:
- Coq version 8.6 / 8.6.1 / 8.7beta - Coq version 8.6 / 8.6.1 / 8.7.0
## Building Instructions ## Building Instructions
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment