blob: f8871ae15850e88bff8bc06d4a69b91fa7e2797d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
if [ "$CI_PULL_REQUEST" = "11764" ] || [ "$CI_BRANCH" = "simplify-template" ]; then
elpi_CI_REF="simplify-template"
elpi_CI_GITURL=https://github.com/ppedrot/coq-elpi
equations_CI_REF="simplify-template"
equations_CI_GITURL=https://github.com/ppedrot/Coq-Equations
paramcoq_CI_REF="simplify-template"
paramcoq_CI_GITURL=https://github.com/ppedrot/paramcoq
mtac2_CI_REF="simplify-template"
mtac2_CI_GITURL=https://github.com/ppedrot/Mtac2
rewriter_CI_REF="simplify-template"
rewriter_CI_GITURL=https://github.com/ppedrot/rewriter
fi
|
