blob: b22ab363028f95aab2d8ee74307b4aa1f137a19b (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/sh
if [ "$CI_PULL_REQUEST" = "6859" ] || [ "$CI_BRANCH" = "stm+top" ] || \
[ "$CI_PULL_REQUEST" = "7543" ] || [ "$CI_BRANCH" = "ide+split" ] ; then
pidetop_CI_BRANCH=stm+top
pidetop_CI_GITURL=https://bitbucket.org/ejgallego/pidetop.git
fi
|
