projects
/
jpf-core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fixing a bug: need to get the right choice/event number for IntIntervalGenerator...
[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/