From 4c35b309ece8c57088dffd7bea0ef7878f1d8d12 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Sep 2020 10:35:45 +0200
Subject: coq 8.13 does not exists yet

---
 .gitlab-ci.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index eb221d7..c39da82 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -147,11 +147,11 @@ test-coq-dev:
   variables:
     COQ_VERSION: "dev"
 
-test-coq-8.13:
-  # to be replaced with .test-once (to disable this nightly build) when 8.13.0 is released
-  extends: .test
-  variables:
-    COQ_VERSION: "8.13"
+# test-coq-8.13:
+#   # to be replaced with .test-once (to disable this nightly build) when 8.13.0 is released
+#   extends: .test
+#   variables:
+#     COQ_VERSION: "8.13"
 
 test-coq-8.12:
   extends: .test-once
-- 
cgit v1.2.3