if [ "$CI_PULL_REQUEST" = "12875" ] || [ "$CI_BRANCH" = "master+about-print-all-arguments-names" ]; then

    elpi_CI_REF=coq-master+adapt-coq12875-arguments-pass-name-impargs
    elpi_CI_GITURL=https://github.com/herbelin/coq-elpi

fi