blob: 0bf806085e912352435bd78bf5d1aed22225a091 (
plain)
1
2
3
4
5
6
7
8
|
if [ "$CI_PULL_REQUEST" = "13415" ] || [ "$CI_BRANCH" = "intern-univs" ]; then
overlay equations https://github.com/SkySkimmer/Coq-Equations intern-univs
overlay paramcoq https://github.com/SkySkimmer/paramcoq intern-univs
overlay elpi https://github.com/SkySkimmer/coq-elpi intern-univs
fi
|
