if [ "$CI_PULL_REQUEST" = "11604" ] || [ "$CI_BRANCH" = "persistent-arrays" ]; then

    unicoq_CI_REF=persistent-arrays
    unicoq_CI_GITURL=https://github.com/maximedenes/unicoq

    elpi_CI_REF=persistent-arrays
    elpi_CI_GITURL=https://github.com/maximedenes/coq-elpi

    #relation_algebra_CI_REF=persistent-arrays
    #relation_algebra_CI_GITURL=https://github.com/maximedenes/relation-algebra

    coqhammer_CI_REF=persistent-arrays
    coqhammer_CI_GITURL=https://github.com/maximedenes/coqhammer

    metacoq_CI_REF=persistent-arrays
    metacoq_CI_GITURL=https://github.com/maximedenes/metacoq

fi