search

typetools / checker-framework

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

temporary for CI #6541

Closed skehrli closed 3 weeks ago

skehrli commented 3 weeks ago

Do not review or merge.

mernst commented 3 weeks ago

Closing for now; will reopen when CI passes locally.