projects
/
jpf-core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Adding untested summary code in DPORStateReducerWithSummary.java.
[jpf-core.git]
/
.travis.yml
diff --git
a/.travis.yml
b/.travis.yml
index b87b43df07fc06444a6be850f472cad57a9bb1fd..8db942630e2e5de8f1d47c311191f64b40f658ba 100644
(file)
--- a/
.travis.yml
+++ b/
.travis.yml
@@
-1,10
+1,12
@@
+dist: trusty
+
language: java
jdk:
- oraclejdk8
script:
- - ./gradlew check
--scan -s
+ - ./gradlew check
before_cache:
- rm -f $HOME/.gradle/caches/modules-2/modules-2.lock