search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Update to EISOP 3.40-eisop1 from 3.39-eisop1 #441

Closed Ao-senXiong closed 6 months ago

Ao-senXiong commented 6 months ago

This CI will be good after 3.39 is merged.