if [ "$CI_PULL_REQUEST" = "9815" ] || [ "$CI_BRANCH" = "token-type" ]; then
    ltac2_CI_REF=token-type
    ltac2_CI_GITURL=https://github.com/proux01/ltac2
fi