blob: e3bbb84bcbd3f00a73344a2c279b85f941666602 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
if [ "$CI_PULL_REQUEST" = "10201" ] || [ "$CI_BRANCH" = "opaque-future-cleanup" ]; then
coq_dpdgraph_CI_REF=opaque-future-cleanup
coq_dpdgraph_CI_GITURL=https://github.com/ppedrot/coq-dpdgraph
coqhammer_CI_REF=opaque-future-cleanup
coqhammer_CI_GITURL=https://github.com/ppedrot/coqhammer
elpi_CI_REF=opaque-future-cleanup
elpi_CI_GITURL=https://github.com/ppedrot/coq-elpi
paramcoq_CI_REF=opaque-future-cleanup
paramcoq_CI_GITURL=https://github.com/ppedrot/paramcoq
fi
|
