blob: 3bdbcf7d6e943c18f5a7b43f34c3f11b0b6ce79a (
plain)
1
2
3
4
5
6
|
if [ "$CI_PULL_REQUEST" = "13312" ] || [ "$CI_BRANCH" = "attributes+bool_single" ]; then
overlay unicoq https://github.com/ejgallego/unicoq attributes+bool_single
overlay elpi https://github.com/ejgallego/coq-elpi attributes+bool_single
fi
|
