From c4712cad6bcdcaac38e608c3870e471ae95e627f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 18 Dec 2016 16:04:22 +0100
Subject: [PATCH] fix coq 8.6 CI job name

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f37a553d3..081aaf86f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,7 +23,7 @@ iris-coq8.5.3:
     paths:
     - build-time.txt
 
-iris-coq8.6beta:
+iris-coq8.6:
   tags:
   - coq
   script:
-- 
GitLab