aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays/13312-ejgallego-attributes+bool_single.sh
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