Use eisop plume lib first

opprop / checker-framework-inference

Inference of pluggable types for Java

6 stars 13 forks source link

Closed Ao-senXiong closed 2 months ago

Ao-senXiong commented 3 months ago

We should use eisop-plume-lib and update the script after pull changes from plume-lib to it, otherwise no CI will work now.

Ao-senXiong commented 2 months ago

I will merge this myself to avoid CI fail.