From 0423c1a948adf7cc66cd98cf49d8253632a38269 Mon Sep 17 00:00:00 2001
From: SimonBoulier
Date: Mon, 6 Jan 2020 11:09:54 +0100
Subject: Non maximal implicits: add overlays for several libraries

---
 dev/ci/user-overlays/11235-non-maximal-implicit.sh | 40 ++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 dev/ci/user-overlays/11235-non-maximal-implicit.sh

(limited to 'dev/ci')

diff --git a/dev/ci/user-overlays/11235-non-maximal-implicit.sh b/dev/ci/user-overlays/11235-non-maximal-implicit.sh
new file mode 100644
index 0000000000..dc4fdd48de
--- /dev/null
+++ b/dev/ci/user-overlays/11235-non-maximal-implicit.sh
@@ -0,0 +1,40 @@
+if [ "$CI_PULL_REQUEST" = "11235" ] || [ "$CI_BRANCH" = "non-maximal-implicit" ]; then
+
+    quickchick_CI_REF=non_maximal_implicit
+    quickchick_CI_GITURL=https://github.com/SimonBoulier/QuickChick
+
+    elpi_CI_REF=non_maximal_implicit
+    elpi_CI_GITURL=https://github.com/SimonBoulier/coq-elpi
+
+    # the following are also in 11368-trailing-implicit-error.sh
+    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