From a6a076b8d952cbb8c70218c54d19c69c5fd02a5b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 2 Nov 2019 10:28:58 +0100
Subject: [PATCH] adjust CI to README

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a7c90dd..9e264b1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,10 +27,10 @@ variables:
 
 ## Build jobs
 
-build-coq.8.9.0:
+build-coq.8.10.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.9.0"
+    OPAM_PINS: "coq version 8.10.0"
 
 build-iris.dev:
   <<: *template
-- 
GitLab