Switch CI to GNAT Community 2018

2018-10-24 19:57:24 +03:00
parent 281c4d033a
commit a9cdc5329e
1 changed files with 1 additions and 1 deletions
@@ -8,7 +8,7 @@ branches:
 build:
    pre_ci_boot:
        image_name: reznik/gnat
-        image_tag: gpl.2017.slim
+        image_tag: gpl.2018.slim
        pull: true
    ci:
        - /opt/gnat/bin/gprbuild -p -P alire_env