Remove OracleJDK7 from the build. Fixes #1223.

This commit is contained in:
Antonin Delpeuch 2017-08-01 15:35:36 +01:00 committed by GitHub
parent 8b2d21d7aa
commit 9c045b7da9

View File

@ -1,7 +1,6 @@
language: java language: java
jdk: jdk:
- oraclejdk8 - oraclejdk8
- oraclejdk7
- openjdk7 - openjdk7
script: ./refine test script: ./refine test