dev/ci/user-overlays/12267-gares-elpi-1.11.sh


1
2
3
4
5
6

if [ "$CI_PULL_REQUEST" = "12267" ] || [ "$CI_BRANCH" = "elpi-1.11" ]; then

    elpi_CI_REF="coq-master+elpi-1.11"
    elpi_hb_CI_REF="coq-master+elpi.11"

fi