aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays/09854-vbgl-field_simplify_int.sh
blob: 720adbc9794fffb8205d77ad1a8382f3cdcf7de2 (plain)
1
2
3
4
5
6
if [ "$CI_PULL_REQUEST" = "9854" ] || [ "$CI_BRANCH" = "field_simplify_int" ]; then

    coquelicot_CI_REF=field_simplify_int
    coquelicot_CI_GITURL=https://gitlab.com/vbgl/coquelicot

fi