X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=.travis.yml;h=8db942630e2e5de8f1d47c311191f64b40f658ba;hb=16698d90f70e3870d3f641df93ab052e662ba184;hp=a7131821c0be34bc03bd73842f4d095837f9a44d;hpb=4b38fddc02aadbf2a47fa3f68ffebef5c4b0734c;p=jpf-core.git

diff --git a/.travis.yml b/.travis.yml
index a713182..8db9426 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,14 +1,12 @@
+dist: trusty
+
 language: java
 
 jdk:
   - oraclejdk8
 
 script:
-  - ./gradlew check --scan -s
-
-after_script:
-  - ./gradlew jacocoTestReport
-  - bash <(curl -s https://codecov.io/bash)
+  - ./gradlew check
 
 before_cache:
   - rm -f  $HOME/.gradle/caches/modules-2/modules-2.lock