search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

Add Build Job for JDK11 #151

Closed zcai1 closed 4 years ago

zcai1 commented 4 years ago

This PR allows building and testing under JDK11.

Tests are expected to fail before #149 and #150 are merged.

@wmdietl

wmdietl commented 4 years ago

Thanks for these PRs! Please pull in master to make sure the tests now pass.

zcai1 commented 4 years ago

@wmdietl Tests are passing now. Thank you for reviewing them!

zcai1 commented 4 years ago

Thanks, this looks like a nice solution! Can you please re-create the CF pull request that enable the JDK 11 CFI test, to make sure these work together?

Here's the PR for CF: https://github.com/typetools/checker-framework/pull/3216 Somehow the branch name parsing didn't recognise the zcai/ part, so I had to make a copy of this branch and name it add-jdk11-build