blob: 913b39c30ccc8e80cfe0f2421324e4277be1560c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
if [ "$CI_PULL_REQUEST" = "11557" ] || [ "$CI_BRANCH" = "template-directify" ]; then
equations_CI_REF=template-directify
equations_CI_GITURL=https://github.com/SkySkimmer/Coq-Equations
paramcoq_CI_REF=template-directify
paramcoq_CI_GITURL=https://github.com/SkySkimmer/paramcoq
elpi_CI_REF=template-directify
elpi_CI_GITURL=https://github.com/SkySkimmer/coq-elpi
fi
|
