blob: d9b49ad0d1645c399da87a08c55036bdc925d31a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
if [ "$CI_PULL_REQUEST" = "12218" ] || [ "$CI_BRANCH" = "numeral-notations-non-inductive" ]; then
stdlib2_CI_REF=numeral-notations-non-inductive
stdlib2_CI_GITURL=https://github.com/proux01/stdlib2
hott_CI_REF=numeral-notations-non-inductive
hott_CI_GITURL=https://github.com/proux01/HoTT
paramcoq_CI_REF=numeral-notations-non-inductive
paramcoq_CI_GITURL=https://github.com/proux01/paramcoq
quickchick_CI_REF=numeral-notations-non-inductive
quickchick_CI_GITURL=https://github.com/proux01/QuickChick
metacoq_CI_REF=numeral-notations-non-inductive
metacoq_CI_GITURL=https://github.com/proux01/metacoq
fi
|
