From b5b4fa6b2fd3e3a56977cce438650543198c1847 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Fri, 3 Nov 2017 18:06:47 +0100
Subject: [PATCH] added develop branch for CI

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 1da72194..629ff99c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -13,6 +13,7 @@ branches:
   only:
   - master
   - v1
+  - develop
   
 script: compile_all -ecb -melt -list_failures -log_verbose -clean -options dotnet=false
 group: stable