blob: 81e18226eddcbf7713feec5699f9b0da25fbb656 (
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
31
32
33
34
|
if [ "$CI_PULL_REQUEST" = "8817" ] || [ "$CI_BRANCH" = "sprop" ]; then
aac_tactics_CI_REF=sprop
aac_tactics_CI_GITURL=https://github.com/SkySkimmer/aac-tactics
coq_dpdgraph_CI_REF=sprop
coq_dpdgraph_CI_GITURL=https://github.com/SkySkimmer/coq-dpdgraph
coqhammer_CI_REF=sprop
coqhammer_CI_GITURL=https://github.com/SkySkimmer/coqhammer
elpi_CI_REF=sprop
elpi_CI_GITURL=https://github.com/SkySkimmer/coq-elpi
equations_CI_REF=sprop
equations_CI_GITURL=https://github.com/SkySkimmer/Coq-Equations
ltac2_CI_REF=sprop
ltac2_CI_GITURL=https://github.com/SkySkimmer/ltac2
unicoq_CI_REF=sprop
unicoq_CI_GITURL=https://github.com/SkySkimmer/unicoq
mtac2_CI_REF=sprop
mtac2_CI_GITURL=https://github.com/SkySkimmer/mtac2
paramcoq_CI_REF=sprop
paramcoq_CI_GITURL=https://github.com/SkySkimmer/paramcoq
quickchick_CI_REF=sprop
quickchick_CI_GITURL=https://github.com/SkySkimmer/QuickChick
relation_algebra_CI_REF=sprop
relation_algebra_CI_GITURL=https://github.com/SkySkimmer/relation-algebra
fi
|
