path: root/dev/ci/user-overlays/12449-SkySkimmer-minim-prop-toset.sh

if [ "$CI_PULL_REQUEST" = "12449" ] || [ "$CI_BRANCH" = "minim-prop-toset" ]; then

    mtac2_CI_REF=janno/coq-12449
    mtac2_CI_GITURL=https://github.com/mtac2/mtac2

fi