blob: 54fdd875660190f64b952a7c9cdb0bb9872bb4b0 (
plain)
1
2
3
4
5
6
7
8
9
|
if [ "$CI_PULL_REQUEST" = "12756" ] || [ "$CI_BRANCH" = "dont-refresh-argument-names" ]; then
mathcomp_CI_REF=dont-refresh-argument-names-overlay
mathcomp_CI_GITURL=https://github.com/jashug/math-comp
oddorder_CI_REF=dont-refresh-argument-names-overlay
oddorder_CI_GITURL=https://github.com/jashug/odd-order
fi
|
