if [ "$CI_PULL_REQUEST" = "11896" ] || [ "$CI_BRANCH" = "evar-inst-list" ]; then

    coqhammer_CI_REF="evar-inst-list"
    coqhammer_CI_GITURL=https://github.com/ppedrot/coqhammer

    elpi_CI_REF="evar-inst-list"
    elpi_CI_GITURL=https://github.com/ppedrot/coq-elpi

    equations_CI_REF="evar-inst-list"
    equations_CI_GITURL=https://github.com/ppedrot/Coq-Equations

    metacoq_CI_REF="evar-inst-list"
    metacoq_CI_GITURL=https://github.com/ppedrot/metacoq

    mtac2_CI_REF="evar-inst-list"
    mtac2_CI_GITURL=https://github.com/ppedrot/Mtac2

    quickchick_CI_REF="evar-inst-list"
    quickchick_CI_GITURL=https://github.com/ppedrot/QuickChick

    unicoq_CI_REF="evar-inst-list"
    unicoq_CI_GITURL=https://github.com/ppedrot/unicoq

fi
