From 3ae871fff2165c27b8bb389f1829766a4d6f00d9 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 8 Mar 2020 16:15:05 +0100
Subject: Fix CI (coq-lemma-overloading dropped compatibility with Coq < 8.10)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8be4087..930e9a4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -221,16 +221,6 @@ ci-odd-order-dev:
     - opam pin add -n -k path coq-lemma-overloading .
     - opam install -y -v -j "${NJOBS}" coq-lemma-overloading
 
-ci-lemma-overloading-8.8:
-  extends: .ci-lemma-overloading
-  variables:
-    COQ_VERSION: "8.8"
-
-ci-lemma-overloading-8.9:
-  extends: .ci-lemma-overloading
-  variables:
-    COQ_VERSION: "8.9"
-
 ci-lemma-overloading-8.10:
   extends: .ci-lemma-overloading
   variables:
-- 
cgit v1.2.3