X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=.travis.yml;h=8db942630e2e5de8f1d47c311191f64b40f658ba;hp=5da49456fc1026629783bcdee756b9e3ff72b095;hb=a3fa2183399d94577d22734074e0e71bfb571801;hpb=8ee1d16271071e00309f6eae58dc7e890fdec841

diff --git a/.travis.yml b/.travis.yml
index 5da4945..8db9426 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,11 +1,17 @@
+dist: trusty
+
 language: java
 
 jdk:
   - oraclejdk8
 
+script:
+  - ./gradlew check
+
 before_cache:
   - rm -f  $HOME/.gradle/caches/modules-2/modules-2.lock
   - rm -fr $HOME/.gradle/caches/*/plugin-resolution/
+
 cache:
   directories:
     - $HOME/.gradle/caches/