if [ "$CI_PULL_REQUEST" = "13481" ] || [ "$CI_BRANCH" = "elpi-1.12" ]; then

    elpi_CI_REF=coq-master+elpi.1.12
    elpi_hb_CI_REF=coq-master+coq-elpi-1.7.0+elpi-1.12

fi