Fix build (Java 8)

This commit is contained in:
Norbi Peti 2019-09-11 15:33:02 +02:00 committed by GitHub
parent acd45ce4ae
commit ef44aa8830
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,6 +11,7 @@ language: java
jdk: jdk:
- oraclejdk8 - oraclejdk8
sudo: true sudo: true
dist: trusty # Needed for Java 8, although we might not need Java 8
deploy: deploy:
# deploy develop to the staging environment # deploy develop to the staging environment
- provider: script - provider: script