blob: 2b4c1489ad6333900c8cc5578e8a53ff05e70a99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
_OVERLAY_BRANCH=ho-matching-occ-sel
if [ "$CI_PULL_REQUEST" = "7819" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; then
unicoq_CI_REF="PR7819-overlay"
mtac2_CI_REF="PR7819-overlay"
mtac2_CI_GITURL=https://github.com/mattam82/Mtac2
equations_CI_GITURL=https://github.com/mattam82/Coq-Equations
equations_CI_REF="PR7819-overlay"
fi
|
