aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
diff options
context:
space:
mode:
authorGravatar Matthieu Sozeau <mattam@mattam.org>2018-06-24 15:55:36 +0200
committerGravatar Matthieu Sozeau <mattam@mattam.org>2018-07-02 19:21:31 +0200
commitbc5304a91cf4627063551422ad6e5a2cd1059897 (patch)
tree281824d3da789e2b69bfd2a104479eb1fc47e15b /dev
parent8d02317cc02ae5d007f5d2486d26bb37865ca0a9 (diff)
Add Equations overlay
Diffstat (limited to 'dev')
-rw-r--r--dev/ci/user-overlays/07820-mattam82-hints-constants.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/ci/user-overlays/07820-mattam82-hints-constants.sh b/dev/ci/user-overlays/07820-mattam82-hints-constants.sh
new file mode 100644
index 000000000..2ae86ae22
--- /dev/null
+++ b/dev/ci/user-overlays/07820-mattam82-hints-constants.sh
@@ -0,0 +1,6 @@
+_OVERLAY_BRANCH=hints-variables-overlay
+
+if [ "$CI_PULL_REQUEST" = "7820" ] || [ "$CI_BRANCH" = "_OVERLAY_BRANCH" ]; then
+
+ Equations_CI_BRANCH="$_OVERLAY_BRANCH"
+fi