typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
988 stars 347 forks source link

Disable guava_jdk11 CI job #6543

Closed mernst closed 3 weeks ago