Commit d72a39c8 authored by Ralf Jung's avatar Ralf Jung

Also test against Coq 8.7

parent 29b31814
......@@ -9,5 +9,5 @@
*~
*.bak
.coq-native/
Makefile.coq
Makefile.coq*
*.crashcoqide
......@@ -23,6 +23,12 @@ variables:
- master
- /^ci/
iris-coq8.7:
<<: *template
variables:
COQ_VERSION: "8.7.dev"
SSR_VERSION: "dev"
iris-coq8.6.1:
<<: *template
variables:
......
......@@ -13,7 +13,7 @@ build: [
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iris'" ]
depends: [
"coq" { (>= "8.6.1" & < "8.7~") } # replace with (= "dev") if you want to test against a development version of Coq
"coq" { (>= "8.6.1" & < "8.8~") } # replace with (= "dev") if you want to test against a development version of Coq
"coq-mathcomp-ssreflect" { ((>= "1.6.1" & < "1.7~") | (= "dev")) }
"coq-stdpp"
]
coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 24cc2e4786b2344e092e412f56e96c6971ab60d8
coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp fa6ff9d18aefb29e839e815aa170262d330bd108
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