From a9cdc5329eedb6f010a923cc62ffbdde7340eae8 Mon Sep 17 00:00:00 2001
From: Maxim Reznik <reznikmm@gmail.com>
Date: Wed, 24 Oct 2018 19:57:24 +0300
Subject: [PATCH] Switch CI to GNAT Community 2018

---
 shippable.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shippable.yml b/shippable.yml
index d025bee6..7b379425 100644
--- a/shippable.yml
+++ b/shippable.yml
@@ -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