From ce580181b9ecc0c6cfa74335cbb8a5ec8a25e3a0 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 14 Mar 2020 17:59:56 -0400
Subject: [ci] Cleanup old overlays.

---
 .../user-overlays/11368-trailing-implicit-error.sh | 33 ----------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 dev/ci/user-overlays/11368-trailing-implicit-error.sh

(limited to 'dev/ci/user-overlays/11368-trailing-implicit-error.sh')

diff --git a/dev/ci/user-overlays/11368-trailing-implicit-error.sh b/dev/ci/user-overlays/11368-trailing-implicit-error.sh
deleted file mode 100644
index a125337dd9..0000000000
--- a/dev/ci/user-overlays/11368-trailing-implicit-error.sh
+++ /dev/null
@@ -1,33 +0,0 @@
-if [ "$CI_PULL_REQUEST" = "11368" ] || [ "$CI_BRANCH" = "trailing_implicit_error" ]; then
-
-    mathcomp_CI_REF=non_maximal_implicit
-    mathcomp_CI_GITURL=https://github.com/SimonBoulier/math-comp
-
-    oddorder_CI_REF=non_maximal_implicit
-    oddorder_CI_GITURL=https://github.com/SimonBoulier/odd-order
-
-    stdlib2_CI_REF=non_maximal_implicit
-    stdlib2_CI_GITURL=https://github.com/SimonBoulier/stdlib2
-
-    coq_dpdgraph_CI_REF=non_maximal_implicit
-    coq_dpdgraph_CI_GITURL=https://github.com/SimonBoulier/coq-dpdgraph
-
-    vst_CI_REF=non_maximal_implicit
-    vst_CI_GITURL=https://github.com/SimonBoulier/VST
-
-    equations_CI_REF=non_maximal_implicit
-    equations_CI_GITURL=https://github.com/SimonBoulier/Coq-Equations
-
-    mtac2_CI_REF=non_maximal_implicit
-    mtac2_CI_GITURL=https://github.com/SimonBoulier/Mtac2
-
-    relation_algebra_CI_REF=non_maximal_implicit
-    relation_algebra_CI_GITURL=https://github.com/SimonBoulier/relation-algebra
-
-    fiat_parsers_CI_REF=non_maximal_implicit
-    fiat_parsers_CI_GITURL=https://github.com/SimonBoulier/fiat
-
-    Corn_CI_REF=non_maximal_implicit
-    Corn_CI_GITURL=https://github.com/SimonBoulier/corn
-
-fi
-- 
cgit v1.2.3