From 826b90c5b6794149ab386624464defea10233b3f Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 26 Dec 2016 09:56:14 +0100
Subject: [PATCH] switch CI to Coq 8.6
---
.gitlab-ci.yml | 6 +++---
README.md | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 251ffade..13dc7432 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,13 +1,13 @@
image: ralfjung/opam-ci:latest
-lrust-coq8.5.3:
+lrust-coq8.6:
script:
# prepare
- - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6.1'
+ - . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect 1.6.1'
# build
- 'time make -j8'
cache:
- key: "coq8.5.3-2"
+ key: "coq8.6"
paths:
- opamroot/
only:
diff --git a/README.md b/README.md
index 08a97a79..9307af4c 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ This is the Coq formalization of lambda-Rust.
This version is known to compile with:
- - Coq 8.5pl3
+ - Coq 8.6
- Ssreflect 1.6.1
- A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
--
GitLab