From 77d5f269ccdad6c9b625d3ef18a9ab2ed41a6f10 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Sat, 5 Dec 2020 22:38:22 +0900
Subject: Remove ci-fcsl-pcm-8.10

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 607ff61..52ff725 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -397,11 +397,6 @@ ci-finmap-dev:
     - opam pin add -n -k path coq-fcsl-pcm .
     - opam install -y -v -j "${NJOBS}" coq-fcsl-pcm
 
-ci-fcsl-pcm-8.10:
-  extends: .ci-fcsl-pcm
-  variables:
-    COQ_VERSION: "8.10"
-
 ci-fcsl-pcm-8.11:
   extends: .ci-fcsl-pcm
   variables:
-- 
cgit v1.2.3