[attributes] Add overlays for #13312

(cherry picked from commit 0af10d8)
coq · Nov 19, 2020 · 3b1a787 · 3b1a787
1 parent 3f21c76
commit 3b1a787
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/13312-ejgallego-attributes+bool_single.sh b/dev/ci/user-overlays/13312-ejgallego-attributes+bool_single.sh
@@ -0,0 +1,6 @@
+if [ "$CI_PULL_REQUEST" = "13312" ] || [ "$CI_BRANCH" = "attributes+bool_single" ]; then
+
+    overlay unicoq https://github.com/ejgallego/unicoq attributes+bool_single
+    overlay elpi https://github.com/ejgallego/coq-elpi attributes+bool_single
+
+fi