blob: 242b177d71cc5fd1548426cfeabea690127fa250 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
if [ "$CI_PULL_REQUEST" = "8726" ] || [ "$CI_BRANCH" = "master+more-stable-meaning-to-Discharge-flag" ]; then
fiat_parsers_CI_BRANCH=master+change-for-coq-pr8726
fiat_parsers_CI_REF=master+change-for-coq-pr8726
fiat_parsers_CI_GITURL=https://github.com/herbelin/fiat
elpi_CI_BRANCH=coq-master+fix-global-pr8726
elpi_CI_REF=coq-master+fix-global-pr8726
elpi_CI_GITURL=https://github.com/herbelin/coq-elpi
equations_CI_BRANCH=master+fix-global-pr8726
equations_CI_REF=master+fix-global-pr8726
equations_CI_GITURL=https://github.com/herbelin/Coq-Equations
mtac2_CI_BRANCH=master+fix-global-pr8726
mtac2_CI_REF=master+fix-global-pr8726
mtac2_CI_GITURL=https://github.com/herbelin/Mtac2
paramcoq_CI_BRANCH=master+fix-global-pr8726
paramcoq_CI_REF=master+fix-global-pr8726
paramcoq_CI_GITURL=https://github.com/herbelin/paramcoq
fi
|
