Commit f8719169 authored by Ralf Jung's avatar Ralf Jung

test 8.9.1, no longer test 8.7.0, 8.7.1

parent 72bf1989
Pipeline #16843 passed with stage
in 11 minutes and 24 seconds
...@@ -40,6 +40,11 @@ build-coq.8.10.dev: ...@@ -40,6 +40,11 @@ build-coq.8.10.dev:
OCAML: "ocaml-base-compiler.4.07.0" OCAML: "ocaml-base-compiler.4.07.0"
OPAM_PINS: "coq version 8.10.dev" OPAM_PINS: "coq version 8.10.dev"
build-coq.8.9.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.9.1"
build-coq.8.9.0: build-coq.8.9.0:
<<: *template <<: *template
variables: variables:
...@@ -73,13 +78,3 @@ build-coq.8.7.2: ...@@ -73,13 +78,3 @@ build-coq.8.7.2:
variables: variables:
OPAM_PINS: "coq version 8.7.2" OPAM_PINS: "coq version 8.7.2"
build-coq.8.7.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.1"
build-coq.8.7.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.0"
...@@ -45,7 +45,7 @@ Notably: ...@@ -45,7 +45,7 @@ Notably:
This version is known to compile with: This version is known to compile with:
- Coq version 8.7.0 / 8.7.1 / 8.7.2 / 8.8.0 / 8.8.1 / 8.8.2 / 8.9.0 - Coq version 8.7.2 / 8.8.0 / 8.8.1 / 8.8.2 / 8.9.0 / 8.9.1
## Installing via opam ## Installing via opam
......
...@@ -11,5 +11,5 @@ build: [make "-j%{jobs}%"] ...@@ -11,5 +11,5 @@ build: [make "-j%{jobs}%"]
install: [make "install"] install: [make "install"]
remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/stdpp"] remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/stdpp"]
depends: [ depends: [
"coq" { (>= "8.7" & < "8.11~") | (= "dev") } "coq" { (>= "8.7.2" & < "8.11~") | (= "dev") }
] ]
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment