language: none # ada

branches:
    only:
        - master
        - devel

build:
    pre_ci_boot:
        image_name: reznik/gnat
        image_tag: gpl.2018.slim
        pull: true
    ci:
        - /opt/gnat/bin/gprbuild -p -P alire_env