From 6110d402eaea5f896bcfc00ab39803e0954d1ee3 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Tue, 16 Aug 2016 16:30:07 +0200
Subject: [PATCH] Deleted travis config

---
 .travis.yml | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index fe6c277d3..000000000
--- a/.travis.yml
+++ /dev/null
@@ -1,40 +0,0 @@
-language: scala
-
-scala:
-    - 2.11.7
-
-jdk:
-    - oraclejdk7
-
-sudo: false
-
-branches:
-    only:
-        - master
-
-notifications:
-    email:
-        - leon-dev@googlegroups.com
-
-before_script:
-    - sbt compile
-    - sbt script
-    - source travis/fetchCVC4.sh
-
-env:
-    matrix:
-        - TEST_COMMAND="test"
-        - TEST_COMMAND="integration:test"
-        - TEST_COMMAND="regression:test"
-
-script:
-    - sbt ++$TRAVIS_SCALA_VERSION "$TEST_COMMAND"
-
-    # Tricks to avoid unnecessary cache updates
-    - find $HOME/.sbt -name "*.lock" | xargs rm
-    - find $HOME/.ivy2 -name "ivydata-*.properties" | xargs rm
-
-cache:
-    directories:
-        - $HOME/.ivy2/cache
-        - $HOME/.sbt/boot/
-- 
GitLab