blob: 80107ac9c5d668f773a403eef31b706a3ad52f2d (
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
25
26
27
28
29
30
|
if [ "$CI_PULL_REQUEST" = "10390" ] || [ "$CI_BRANCH" = "uip" ]; then
unicoq_CI_REF=uip
unicoq_CI_GITURL=https://github.com/SkySkimmer/unicoq
mtac2_CI_REF=uip
mtac2_CI_GITURL=https://github.com/SkySkimmer/Mtac2
elpi_CI_REF=uip
elpi_CI_GITURL=https://github.com/SkySkimmer/coq-elpi
equations_CI_REF=uip
equations_CI_GITURL=https://github.com/SkySkimmer/Coq-Equations
paramcoq_CI_REF=uip
paramcoq_CI_GITURL=https://github.com/SkySkimmer/paramcoq
relation_algebra_CI_REF=uip
relation_algebra_CI_GITURL=https://github.com/SkySkimmer/relation-algebra
coq_dpdgraph_CI_REF=uip
coq_dpdgraph_CI_GITURL=https://github.com/SkySkimmer/coq-dpdgraph
coqhammer_CI_REF=uip
coqhammer_CI_GITURL=https://github.com/SkySkimmer/coqhammer
metacoq_CI_REF=uip
metacoq_CI_GITURL=https://github.com/SkySkimmer/metacoq
fi
|
