search

opprop / checker-framework-inference

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

Update CI link #420

Closed Ao-senXiong closed 1 year ago

Ao-senXiong commented 1 year ago

Update CI badge in README.md to link to GitHub Actions