use jdk 10 for 1.4.0 release

This commit is contained in:
Armin Schrenk
2018-10-31 15:22:00 +01:00
parent dbcb407a7c
commit 050a6e6a57

View File

@@ -1,7 +1,7 @@
language: java
sudo: false
jdk:
- openjdk11
- openjdk10
cache:
directories:
- $HOME/.m2