From 45cf8e2ccd6a01a6d45a853dc2fcd3fffc3cbdad Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Fri, 22 Mar 2019 16:49:46 +0100
Subject: [PATCH] Removed unnecessary path that broke CI

---
 shippable.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shippable.yml b/shippable.yml
index fe471835..fe67461f 100644
--- a/shippable.yml
+++ b/shippable.yml
@@ -13,7 +13,7 @@ branches:
 env:
     - IMAGE_NAME="reznik/gnat"
       IMAGE_TAG="gpl.2018.slim"
-    - IMAGE_NAME="mosteo/gnats"
+    - IMAGE_NAME="mosteo/gnat"
       IMAGE_TAG="debian-testing"
 
 build:
@@ -22,4 +22,4 @@ build:
         image_tag: $IMAGE_TAG
         pull: true
     ci:
-        - /opt/gnat/bin/gprbuild -j0 -p -P alire_env
+        - gprbuild -j0 -p -P alire_env