blob: 50eaf0b1094db9f373f88206dfb6495b03e72323 (
plain)
1
2
3
4
5
6
|
if [ "$CI_PULL_REQUEST" = "8808" ] || [ "$CI_BRANCH" = "master+support-binder+term-in-abbrev" ]; then
elpi_CI_REF=master+adapt-coq8808-syndef-same-expressiveness-notation
elpi_CI_GITURL=https://github.com/herbelin/coq-elpi
fi
|
