From 06de6632dac4fb552b8e38ca8e8e68cfe6d45843 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Thu, 21 Mar 2019 19:04:15 +0100
Subject: [PATCH] use testing branch for CI instead of devel

---
 shippable.yml | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/shippable.yml b/shippable.yml
index 7b379425..9666765d 100644
--- a/shippable.yml
+++ b/shippable.yml
@@ -1,14 +1,23 @@
+# Test a couple compiler versions:
+#   Debian testing
+#   Ubuntu LTS
+#   Latest Community Edition
+
 language: none # ada
 
 branches:
     only:
         - master
-        - devel
+        - testing
+
+env:
+    - IMAGE_NAME="reznik/gnat"
+      IMAGE_TAG="gpl.2018.slim"
 
 build:
     pre_ci_boot:
-        image_name: reznik/gnat
-        image_tag: gpl.2018.slim
+        image_name: $IMAGE_NAME
+        image_tag: $IMAGE_TAG
         pull: true
     ci:
         - /opt/gnat/bin/gprbuild -p -P alire_env