[CI] deactivate travis

nim65s · nim65s · commit 4c700caa2191 · 2020-08-25T00:16:15.000+02:00
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.
diff --git 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:
