aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
diff options
context:
space:
mode:
authorMatthieu Sozeau2018-10-18 16:56:17 +0200
committerMatthieu Sozeau2019-02-08 11:20:07 +0100
commit62cf1ad380772628ed6e547de3fb875275610b4d (patch)
tree91fdf98d849de44439d87f0eaa7fbdf6a991b49b /dev/ci
parentad0cf24789b0f7d5b12cef4d09f93c9d9aeb6150 (diff)
Add overlay for Equations
Diffstat (limited to 'dev/ci')
-rw-r--r--dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh2
1 files changed, 2 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
index c399e27736..e344e869d5 100644
--- a/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
+++ b/dev/ci/user-overlays/07819-mattam-ho-matching-occ-sel.sh
@@ -7,4 +7,6 @@ if [ "$CI_PULL_REQUEST" = "7819" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; the
mtac2_CI_REF="PR7819-overlay"
mtac2_CI_GITURL=https://github.com/mattam82/Mtac2
+ Equations_CI_REF="PR7819-overlay"
+
fi