blob: 7e9b5febddbd1f7bc7297e5c33382fd8ce67cc31 (
plain)
1
2
3
4
|
if [ "$TRAVIS_PULL_REQUEST" = "6324" ] || [ "$TRAVIS_BRANCH" = "fix-6323-restrict+abstract" ]; then
Equations_CI_BRANCH=fix-coq-6324
Equations_CI_GITURL=https://github.com/SkySkimmer/Coq-Equations.git
fi
|