blob: 111015706934438cc2a54ad18bdd33ff6669bba0 (
plain)
1
2
3
4
5
6
7
8
9
|
if [ "$CI_PULL_REQUEST" = "9389" ] || [ "$CI_BRANCH" = "set-implicits" ]; then
equations_CI_REF=set-implicits
equations_CI_GITURL=https://github.com/SkySkimmer/Coq-Equations
mtac2_CI_REF=set-implicits
mtac2_CI_GITURL=https://github.com/SkySkimmer/Mtac2
fi
|
