blob: 6939ead2baa7b7b337872125cd967f1819aef284 (
plain)
1
2
3
4
5
6
7
8
|
if [ "$CI_PULL_REQUEST" = "7495" ] || [ "$CI_BRANCH" = "fix-restrict" ]; then
# this branch contains a commit not present on coq-master that triggers
# the universe restriction bug #7472
Elpi_CI_BRANCH=overlay-7495
Elpi_CI_GITURL=https://github.com/LPCIC/coq-elpi.git
fi
|