Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

review chore: Coverage should use JDK9 else some tests could not be executed #2071

Merged
merged 1 commit into from
Jun 15, 2018

Conversation

surli
Copy link
Collaborator

@surli surli commented Jun 15, 2018

No description provided.

@surli surli changed the title chore: Coverage should use JDK9 else some tests could not be executed review chore: Coverage should use JDK9 else some tests could not be executed Jun 15, 2018
@monperrus monperrus merged commit 0b1a09d into INRIA:master Jun 15, 2018
@surli surli deleted the chore-coverage-use-jdk9 branch June 15, 2018 14:43
@surli surli mentioned this pull request Jun 25, 2018
@monperrus
Copy link
Collaborator

Coveralls does not work on JDK9, see

We need to switch back to JDK8, #2469

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants