blob: bb65beb04355cba21a801fe4964d89b452b5d955 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
if [ "$CI_PULL_REQUEST" = "11027" ] || [ "$CI_BRANCH" = "cleanup-comind-univ" ]; then
elpi_CI_REF=expose-comind-univ
elpi_CI_GITURL=https://github.com/SkySkimmer/coq-elpi
equations_CI_REF=expose-comind-univ
equations_CI_GITURL=https://github.com/SkySkimmer/Coq-Equations
paramcoq_CI_REF=expose-comind-univ
paramcoq_CI_GITURL=https://github.com/SkySkimmer/paramcoq
mtac2_CI_REF=expose-comind-univ
mtac2_CI_GITURL=https://github.com/SkySkimmer/Mtac2
rewriter_CI_REF=cleanup-comind-univ
rewriter_CI_GITURL=https://github.com/SkySkimmer/rewriter
fi
|
