try using trusty for jdk7

This commit is contained in:
Eric Vergnaud 2019-07-14 15:05:21 +08:00
parent 9830f156d7
commit 21069fb2c6
1 changed files with 2 additions and 1 deletions

View File

@ -140,9 +140,10 @@ matrix:
- GROUP=RECURSION
stage: extended-test
- os: linux
dist: trusty
jdk: openjdk7
env: TARGET=java
stage: extended-test
stage: smoke-test
- os: linux
jdk: openjdk8
env: TARGET=java