blob: 6a9cf78687aadfb31a8597eb27fb99fa9fdd37f2 (
plain)
1
2
3
4
5
6
7
8
|
if [ "$CI_PULL_REQUEST" = "12801" ] || [ "$CI_BRANCH" = "CyclicSet" ]; then
bignums_CI_REF=CyclicSet
bignums_CI_GITURL=https://github.com/VincentSe/bignums
coqprime_CI_REF=CyclicSet
coqprime_CI_GITURL=https://github.com/VincentSe/coqprime
fi
|
