dev/ci/user-overlays/10832-herbelin-master+fix6082-7766-overriding-notation-format.sh


1
2
3
4
5
6
7
8
9

if [ "$CI_PULL_REQUEST" = "10832" ] || [ "$CI_BRANCH" = "master+fix6082-7766-overriding-notation-format" ]; then

    equations_CI_REF=master+fix-interpretation-notation-format-pr10832
    equations_CI_GITURL=https://github.com/herbelin/Coq-Equations

    quickchick_CI_REF=master+fix-interpretation-notation-format-pr10832
    quickchick_CI_GITURL=https://github.com/herbelin/QuickChick

fi