if [ "$TRAVIS_PULL_REQUEST" = "6217" ] || [ "$TRAVIS_BRANCH" = "coqdep-at-once" ]; then
    UniMath_CI_GITURL=https://github.com/SkySkimmer/UniMath.git
fi