blob: ebd1b524da1e3f5bf8f21cedd8309036d17ad08d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
if [ "$CI_PULL_REQUEST" = "9263" ] || [ "$CI_BRANCH" = "parsing-state" ]; then
mtac2_CI_REF=proof-mode
mtac2_CI_GITURL=https://github.com/maximedenes/Mtac2
ltac2_CI_REF=proof-mode
ltac2_CI_GITURL=https://github.com/maximedenes/ltac2
equations_CI_REF=proof-mode
equations_CI_GITURL=https://github.com/maximedenes/Coq-Equations
fi
|
