blob: 517088a2474b7c2f9b6740b0e0e341d17c80cd37 (
plain)
1
2
3
4
5
6
|
if [ "$CI_PULL_REQUEST" = "7213" ] || [ "$CI_BRANCH" = "fast-constr-match-no-context" ]; then
ltac2_CI_BRANCH=fast-constr-match-no-context
ltac2_CI_GITURL=https://github.com/ppedrot/ltac2
fi
|