aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorMatthieu Sozeau2018-10-18 14:46:37 +0200
committerMatthieu Sozeau2019-02-08 11:20:07 +0100
commit2265d20c48dff6e1ea9a5cb9be9640603f3be3cf (patch)
tree407a625ef7aefe23cfdde0d8cf6264cccfae26a0 /dev
parente07fcc19cf8459ce2ae87d9ccbbc7806a0be576f (diff)
Add overlays for unicoq and mtac2
Diffstat (limited to 'dev')
-rw-r--r--dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh10
1 files changed, 10 insertions, 0 deletions
diff --git a/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
new file mode 100644
index 0000000000..c399e27736
--- /dev/null
+++ b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
@@ -0,0 +1,10 @@
+_OVERLAY_BRANCH=ho-matching-occ-sel
+
+if [ "$CI_PULL_REQUEST" = "7819" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; then
+
+ unicoq_CI_REF="PR7819-overlay"
+
+ mtac2_CI_REF="PR7819-overlay"
+ mtac2_CI_GITURL=https://github.com/mattam82/Mtac2
+
+fi