path: root/dev/ci/user-overlays/06217-coqdep-at-once.sh

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