From b0a6838ebe51760a6020145a0051137f6a4fcef0 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 7 May 2019 11:31:15 +0200
Subject: Add overlays.

---
 dev/ci/user-overlays/10069-ppedrot-whd-for-evar-conv-no-stack.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dev/ci/user-overlays/10069-ppedrot-whd-for-evar-conv-no-stack.sh

(limited to 'dev/ci/user-overlays')

diff --git a/dev/ci/user-overlays/10069-ppedrot-whd-for-evar-conv-no-stack.sh b/dev/ci/user-overlays/10069-ppedrot-whd-for-evar-conv-no-stack.sh
new file mode 100644
index 0000000000..0e1449f36c
--- /dev/null
+++ b/dev/ci/user-overlays/10069-ppedrot-whd-for-evar-conv-no-stack.sh
@@ -0,0 +1,6 @@
+if [ "$CI_PULL_REQUEST" = "10069" ] || [ "$CI_BRANCH" = "whd-for-evar-conv-no-stack" ]; then
+
+    unicoq_CI_REF=whd-for-evar-conv-no-stack
+    unicoq_CI_GITURL=https://github.com/ppedrot/unicoq
+
+fi
-- 
cgit v1.2.3


From 1b4c0a1e52286d4957f6c79c8ff14868a6f3e838 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 6 May 2019 22:10:57 +0200
Subject: Add overlays for coq/coq#10052.

---
 dev/ci/user-overlays/10052-ppedrot-cleanup-logic-convert-hyp.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dev/ci/user-overlays/10052-ppedrot-cleanup-logic-convert-hyp.sh

(limited to 'dev/ci/user-overlays')

diff --git a/dev/ci/user-overlays/10052-ppedrot-cleanup-logic-convert-hyp.sh b/dev/ci/user-overlays/10052-ppedrot-cleanup-logic-convert-hyp.sh
new file mode 100644
index 0000000000..9f9cc19e83
--- /dev/null
+++ b/dev/ci/user-overlays/10052-ppedrot-cleanup-logic-convert-hyp.sh
@@ -0,0 +1,6 @@
+if [ "$CI_PULL_REQUEST" = "10052" ] || [ "$CI_BRANCH" = "cleanup-logic-convert-hyp" ]; then
+
+    relation_algebra_CI_REF=cleanup-logic-convert-hyp
+    relation_algebra_CI_GITURL=https://github.com/ppedrot/relation-algebra
+
+fi
-- 
cgit v1.2.3


From ba62d040b8ff53ce66c2dbaa83a44b0037cb620f Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 7 May 2019 10:14:07 +0000
Subject: Add overlay for elpi

---
 dev/ci/user-overlays/10076-vbgl-canonical-disable-hint.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dev/ci/user-overlays/10076-vbgl-canonical-disable-hint.sh

(limited to 'dev/ci/user-overlays')

diff --git a/dev/ci/user-overlays/10076-vbgl-canonical-disable-hint.sh b/dev/ci/user-overlays/10076-vbgl-canonical-disable-hint.sh
new file mode 100644
index 0000000000..2015935dd9
--- /dev/null
+++ b/dev/ci/user-overlays/10076-vbgl-canonical-disable-hint.sh
@@ -0,0 +1,6 @@
+if [ "$CI_PULL_REQUEST" = "10076" ] || [ "$CI_BRANCH" = "canonical-disable-hint" ]; then
+
+    elpi_CI_REF=canonical-disable-hint
+    elpi_CI_GITURL=https://github.com/vbgl/coq-elpi
+
+fi
-- 
cgit v1.2.3


From 96f31931743c950f006682a398c501c30e96fda0 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 13 May 2019 11:40:03 +0200
Subject: Add overlay for Unicoq

---
 dev/ci/user-overlays/10135-maximedenes-detype-anonymous.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dev/ci/user-overlays/10135-maximedenes-detype-anonymous.sh

(limited to 'dev/ci/user-overlays')

diff --git a/dev/ci/user-overlays/10135-maximedenes-detype-anonymous.sh b/dev/ci/user-overlays/10135-maximedenes-detype-anonymous.sh
new file mode 100644
index 0000000000..bc8aa33565
--- /dev/null
+++ b/dev/ci/user-overlays/10135-maximedenes-detype-anonymous.sh
@@ -0,0 +1,6 @@
+if [ "$CI_PULL_REQUEST" = "10135" ] || [ "$CI_BRANCH" = "detype-anonymous" ]; then
+
+    unicoq_CI_REF=detype-anonymous
+    unicoq_CI_GITURL=https://github.com/maximedenes/unicoq
+
+fi
-- 
cgit v1.2.3


From ce083774403b70d58c71c5a6ba104c337613add4 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 12 Nov 2018 23:37:47 +0100
Subject: Adding overlay for Equations.

---
 .../08893-herbelin-master+moving-evars-of-term-on-econstr.sh       | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 dev/ci/user-overlays/08893-herbelin-master+moving-evars-of-term-on-econstr.sh

(limited to 'dev/ci/user-overlays')

diff --git a/dev/ci/user-overlays/08893-herbelin-master+moving-evars-of-term-on-econstr.sh b/dev/ci/user-overlays/08893-herbelin-master+moving-evars-of-term-on-econstr.sh
new file mode 100644
index 0000000000..dc39ea5ef0
--- /dev/null
+++ b/dev/ci/user-overlays/08893-herbelin-master+moving-evars-of-term-on-econstr.sh
@@ -0,0 +1,7 @@
+if [ "$CI_PULL_REQUEST" = "8893" ] || [ "$CI_BRANCH" = "master+moving-evars-of-term-on-econstr" ]; then
+
+    equations_CI_BRANCH=master+fix-evars_of_term-pr8893
+    equations_CI_REF=master+fix-evars_of_term-pr8893
+    equations_CI_GITURL=https://github.com/herbelin/Coq-Equations
+
+fi
-- 
cgit v1.2.3


From 06b60655b98580baab98f35f6c89716e2381934c Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 14 May 2019 14:17:57 +0200
Subject: Overlay for value-returning run_tactic

---
 dev/ci/user-overlays/10125-SkySkimmer-run_tactic_gen.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dev/ci/user-overlays/10125-SkySkimmer-run_tactic_gen.sh

(limited to 'dev/ci/user-overlays')

diff --git a/dev/ci/user-overlays/10125-SkySkimmer-run_tactic_gen.sh b/dev/ci/user-overlays/10125-SkySkimmer-run_tactic_gen.sh
new file mode 100644
index 0000000000..4032b1c6b5
--- /dev/null
+++ b/dev/ci/user-overlays/10125-SkySkimmer-run_tactic_gen.sh
@@ -0,0 +1,6 @@
+if [ "$CI_PULL_REQUEST" = "10125" ] || [ "$CI_BRANCH" = "run_tactic_gen" ]; then
+
+    paramcoq_CI_REF=run_tactic_gen
+    paramcoq_CI_GITURL=https://github.com/SkySkimmer/paramcoq
+
+fi
-- 
cgit v1.2.3


From f6751f5e8aae4f37d302f700d2f5f2e9fba73a1e Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 14 May 2019 14:28:43 +0200
Subject: Overlay for definition-not-visible overhaul

---
 .../10157-SkySkimmer-def-not-visible-generic-warning.sh             | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dev/ci/user-overlays/10157-SkySkimmer-def-not-visible-generic-warning.sh

(limited to 'dev/ci/user-overlays')

diff --git a/dev/ci/user-overlays/10157-SkySkimmer-def-not-visible-generic-warning.sh b/dev/ci/user-overlays/10157-SkySkimmer-def-not-visible-generic-warning.sh
new file mode 100644
index 0000000000..fcbeb32a58
--- /dev/null
+++ b/dev/ci/user-overlays/10157-SkySkimmer-def-not-visible-generic-warning.sh
@@ -0,0 +1,6 @@
+if [ "$CI_PULL_REQUEST" = "10188" ] || [ "$CI_BRANCH" = "def-not-visible-remove-warning" ]; then
+
+    elpi_CI_REF=def-not-visible-generic-warning
+    elpi_CI_GITURL=https://github.com/SkySkimmer/coq-elpi
+
+fi
-- 
cgit v1.2.3