blob: ccb34987645891a09c965c8d0106b13009d8b1ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
if [ "$CI_PULL_REQUEST" = "9678" ] || [ "$CI_BRANCH" = "printed-by-env" ]; then
elpi_CI_REF=printed-by-env
elpi_CI_GITURL=https://github.com/maximedenes/coq-elpi
equations_CI_REF=printed-by-env
equations_CI_GITURL=https://github.com/maximedenes/Coq-Equations
ltac2_CI_REF=printed-by-env
ltac2_CI_GITURL=https://github.com/maximedenes/ltac2
quickchick_CI_REF=printed-by-env
quickchick_CI_GITURL=https://github.com/maximedenes/QuickChick
fi
|
