Remove unused parameters, which fixes a warning suppression

eisop / checker-framework

Pluggable type-checking for Java

https://eisop.github.io/

Other

15 stars 16 forks source link

Closed Ao-senXiong closed 1 month ago

Ao-senXiong commented 1 month ago

Fixed #662

Ao-senXiong commented 1 month ago

@wmdietl Looks like time out limit 110s is still not enough for some cases. Can you trigger the nonjunit_jdk8 to rerun?