From 13915784a568f9e0c8a15c99a516a898726dbc61 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 27 May 2019 16:40:52 +0200
Subject: update overlays

---
 .../user-overlays/10050-SkySkimmer-pass-less-ontop.sh  | 18 ------------------
 dev/ci/user-overlays/10215-gares-less-ontop.sh         | 15 +++++++++++++++
 2 files changed, 15 insertions(+), 18 deletions(-)
 delete mode 100644 dev/ci/user-overlays/10050-SkySkimmer-pass-less-ontop.sh
 create mode 100644 dev/ci/user-overlays/10215-gares-less-ontop.sh

(limited to 'dev/ci')

diff --git a/dev/ci/user-overlays/10050-SkySkimmer-pass-less-ontop.sh b/dev/ci/user-overlays/10050-SkySkimmer-pass-less-ontop.sh
deleted file mode 100644
index 0c3f1eefed..0000000000
--- a/dev/ci/user-overlays/10050-SkySkimmer-pass-less-ontop.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-if [ "$CI_PULL_REQUEST" = "10050" ] || [ "$CI_BRANCH" = "pass-less-ontop" ]; then
-
-    elpi_CI_REF=pass-less-ontop
-    elpi_CI_GITURL=https://github.com/SkySkimmer/coq-elpi
-
-    equations_CI_REF=pass-less-ontop
-    equations_CI_GITURL=https://github.com/SkySkimmer/Coq-Equations
-
-    mtac2_CI_REF=pass-less-ontop
-    mtac2_CI_GITURL=https://github.com/SkySkimmer/Mtac2
-
-    paramcoq_CI_REF=pass-less-ontop
-    paramcoq_CI_GITURL=https://github.com/SkySkimmer/paramcoq
-
-    quickchick_CI_REF=pass-less-ontop
-    quickchick_CI_GITURL=https://github.com/SkySkimmer/QuickChick
-
-fi
diff --git a/dev/ci/user-overlays/10215-gares-less-ontop.sh b/dev/ci/user-overlays/10215-gares-less-ontop.sh
new file mode 100644
index 0000000000..bceb5ad0e8
--- /dev/null
+++ b/dev/ci/user-overlays/10215-gares-less-ontop.sh
@@ -0,0 +1,15 @@
+if [ "$CI_PULL_REQUEST" = "10215" ] || [ "$CI_BRANCH" = "custom-typing" ]; then
+
+    equations_CI_REF=pass-less-ontop
+    equations_CI_GITURL=https://github.com/gares/Coq-Equations
+
+    mtac2_CI_REF=pass-less-ontop
+    mtac2_CI_GITURL=https://github.com/SkySkimmer/Mtac2
+
+    paramcoq_CI_REF=pass-less-ontop
+    paramcoq_CI_GITURL=https://github.com/gares/paramcoq
+
+    quickchick_CI_REF=pass-less-ontop
+    quickchick_CI_GITURL=https://github.com/gares/QuickChick
+
+fi
-- 
cgit v1.2.3