checkerframework-gradle-plugin
checkerframework-gradle-plugin copied to clipboard
kelloggm
Gradle plugin to use the Checker Framework for Java
Bumps spock-core from 2.1-groovy-3.0 to 2.2-groovy-4.0. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Originally reported here https://github.com/typetools/checker-framework/issues/5787, the problem is that an additional source set which I added did not receive the compileOnly dependencies like the main and test source sets. This leads...
I want to implement the checker framework and not create unnecessary tasks until it is needed. Hence for any changes made to our gradle build we run a gradle build...
### Issue The Gradle `JavaCompile` task is leveraging the worker API and as such has `~/.gradle/workers` as working directory. It means that in the task context a relative path can't...
Gradle Plugin Portal allows publishing plugins with PGP signatures for quite some time now (since `com.gradle.plugin-publish` version `1.0.0`). PGP signatures make it easier to verify dependencies. `org.checkerframework:checkerframework-gradle-plugin:0.6.26` is published without...
Bumps com.gradle.plugin-publish from 1.0.0 to 1.1.0. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a...
Bumps spock-core from 2.1-groovy-3.0 to 2.3-groovy-4.0. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a...
Bumps com.github.ben-manes.versions from 0.42.0 to 0.46.0. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a...
In our checker-framework.astub, we have stubs for test classes like this: ```java package org.assertj.core.api; public class AbstractAssert implements Assert { public SELF isNotEqualTo(@Nullable Object other); public SELF isEqualTo(@Nullable Object other);...
Hello! I am trying to set up an additional build of the project's main sources before actually compiling with the Checker Framework enabled, so that the class files can be...
