Skip to content
New issue

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

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

Already on GitHub? Sign in 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

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

Successfully merging this pull request may close these issues.

2 participants