blob: cd6b408813cc9c854b1587974fa97f9776fe19a6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
if [ "$CI_PULL_REQUEST" = "11896" ] || [ "$CI_BRANCH" = "evar-inst-list" ]; then
coqhammer_CI_REF="evar-inst-list"
coqhammer_CI_GITURL=https://github.com/ppedrot/coqhammer
elpi_CI_REF="evar-inst-list"
elpi_CI_GITURL=https://github.com/ppedrot/coq-elpi
equations_CI_REF="evar-inst-list"
equations_CI_GITURL=https://github.com/ppedrot/Coq-Equations
metacoq_CI_REF="evar-inst-list"
metacoq_CI_GITURL=https://github.com/ppedrot/metacoq
mtac2_CI_REF="evar-inst-list"
mtac2_CI_GITURL=https://github.com/ppedrot/Mtac2
quickchick_CI_REF="evar-inst-list"
quickchick_CI_GITURL=https://github.com/ppedrot/QuickChick
unicoq_CI_REF="evar-inst-list"
unicoq_CI_GITURL=https://github.com/ppedrot/unicoq
fi
|
