blob: c09d1b89297925c177c59578be3005adeab1dd24 (
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" = "9129" ] || [ "$CI_BRANCH" = "proof+no_global_partial" ]; then
aac_tactics_CI_REF=proof+no_global_partial
aac_tactics_CI_GITURL=https://github.com/ejgallego/aac-tactics
# coqhammer_CI_REF=proof+no_global_partial
# coqhammer_CI_GITURL=https://github.com/ejgallego/coqhammer
elpi_CI_REF=proof+no_global_partial
elpi_CI_GITURL=https://github.com/ejgallego/coq-elpi
equations_CI_REF=proof+no_global_partial
equations_CI_GITURL=https://github.com/ejgallego/Coq-Equations
ltac2_CI_REF=proof+no_global_partial
ltac2_CI_GITURL=https://github.com/ejgallego/ltac2
# unicoq_CI_REF=proof+no_global_partial
# unicoq_CI_GITURL=https://github.com/ejgallego/unicoq
mtac2_CI_REF=proof+no_global_partial
mtac2_CI_GITURL=https://github.com/ejgallego/Mtac2
paramcoq_CI_REF=proof+no_global_partial
paramcoq_CI_GITURL=https://github.com/ejgallego/paramcoq
quickchick_CI_REF=proof+no_global_partial
quickchick_CI_GITURL=https://github.com/ejgallego/QuickChick
fi
|
