opprop / checker-framework-inference

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

Fix ci-build-without-test not found issue in some environments #387

Closed zcai1 closed 2 years ago