Adding a way for JPF to be informed that this is DPOR; otherwise number the hacked...

[jpf-core.git] / .travis.yml

diff --git a/.travis.yml b/.travis.yml
index 5da49456fc1026629783bcdee756b9e3ff72b095..8db942630e2e5de8f1d47c311191f64b40f658ba 100644 (file)
--- 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/