Skip to content

Commit 1822a9b

Browse files
committed
Disable checkerframework
It's causing too many issues, and we don't really use it.
1 parent 60efe28 commit 1822a9b

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

build.gradle.kts

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ import org.jreleaser.model.Active
33
plugins {
44
id("java-library")
55
id("maven-publish")
6-
alias(libs.plugins.checkerframework)
6+
// alias(libs.plugins.checkerframework)
77
alias(libs.plugins.jreleaser)
88
}
99

@@ -15,7 +15,7 @@ repositories {
1515
}
1616

1717
dependencies {
18-
checkerFramework(libs.checker)
18+
// checkerFramework(libs.checker)
1919

2020
compileOnly(libs.checker.qual)
2121

@@ -26,13 +26,15 @@ dependencies {
2626
testRuntimeOnly("org.junit.platform:junit-platform-launcher")
2727
}
2828

29+
/*
2930
checkerFramework {
3031
version = libs.versions.checkerframework
3132
3233
checkers = listOf(
3334
"org.checkerframework.checker.compilermsgs.CompilerMessagesChecker"
3435
)
3536
}
37+
*/
3638

3739
java {
3840
withJavadocJar()

0 commit comments

Comments
 (0)