Update to Checker Framework 3.41.0 (#873)

Just to stay up to date. [Benchmarking results](#873 (comment)) show no overhead regression, and possibly a very slight improvement.
uber · Dec 4, 2023 · eb2e19c · eb2e19c
1 parent 1140a81
commit eb2e19c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gradle/dependencies.gradle b/gradle/dependencies.gradle
@@ -40,7 +40,7 @@ if (project.hasProperty("epApiVersion")) {
 
 def versions = [
     asm                    : "9.3",
-    checkerFramework       : "3.39.0",
+    checkerFramework       : "3.41.0",
     // for comparisons in other parts of the build
     errorProneLatest       : latestErrorProneVersion,
     // The version of Error Prone used to check NullAway's code.