From 4c700caa219134679919b39dd356a4c9ccf2892c Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Mon, 24 Aug 2020 19:04:39 +0200
Subject: [PATCH] [CI] deactivate travis

If someone wants to maintain that, feel free to do so. But as gitlab CI
is maintained and passing, and travis has been broken for a long time,
while nobody takes care of it, let's just deactivate it.
---
 .travis.yml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 83f8117b..19e8e6dd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,10 +23,8 @@ notifications:
 email:
   - pinocchio@laas.fr
 branches:
-only:
-  - master
-  - debian
-  - devel
+  only:
+    - never
 matrix:
 allow_failures:
   - compiler: