Update the version of the CF Gradle plugin. (#6691)

typetools · Jul 3, 2024 · 3e161fa · 3e161fa
1 parent 234fb64
commit 3e161fa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/examples/errorprone/build.gradle b/docs/examples/errorprone/build.gradle
@@ -6,7 +6,7 @@ plugins {
   id 'java'
   id 'net.ltgt.errorprone' version '2.0.2'
   // Checker Framework pluggable type-checking
-  id 'org.checkerframework' version '0.6.38'
+  id 'org.checkerframework' version '0.6.42'
 }
 
 apply plugin: 'org.checkerframework'

diff --git a/docs/examples/lombok/build.gradle b/docs/examples/lombok/build.gradle
@@ -6,7 +6,7 @@ plugins {
   id 'java'
   id 'io.freefair.lombok' version '8.3'
   // Checker Framework pluggable type-checking
-  id 'org.checkerframework' version '0.6.38'
+  id 'org.checkerframework' version '0.6.42'
 }
 
 lombok {