search

kelloggm / checkerframework-gradle-plugin

Gradle plugin to use the Checker Framework for Java
Apache License 2.0
66 stars 15 forks source link

Upgrade that fixes an incompatibility with Gradle 8 #253

Closed kelloggm closed 1 year ago

kelloggm commented 1 year ago

See the "NOTE" at the top of the page here: https://plugins.gradle.org/docs/publish-plugin

I already used this branch to publish version 0.6.29, so we have some evidence that this works. On the current master branch, running ./gradlew publishPlugins on a machine with the correct key results in the following exception:

Execution failed for task ':publishPlugins'.
> class org.gradle.api.internal.provider.DefaultSetProperty cannot be cast to class java.util.Collection (org.gradle.api.internal.provider.DefaultSetProperty is in unnamed module of loader org.gradle.internal.classloader.VisitableURLClassLoader @21213b92; java.util.Collection is in module java.base of loader 'bootstrap')