From 573fa17081935f637e500a945eefa289d3361f1c Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sun, 7 Mar 2021 12:58:22 +0100
Subject: mathcomp analysis does not compire with Coq dev for now

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8a5c7f0..0b3de75 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -432,11 +432,6 @@ ci-analysis-8.13:
   variables:
     COQ_VERSION: "8.13"
 
-ci-analysis-dev:
-  extends: .ci-analysis
-  variables:
-    COQ_VERSION: "dev"
-
 # The FCSL-PCM library
 .ci-fcsl-pcm:
   extends: .ci
-- 
cgit v1.2.3