Update Checker Framework Gradle plugin version numbers. (#5132)

typetools · May 2, 2022 · 49fc554 · 49fc554
1 parent a69434a
commit 49fc554
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.10'
+    id 'org.checkerframework' version '0.6.11'
 }
 
 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 "5.3.3.3"
     // Checker Framework pluggable type-checking
-    id 'org.checkerframework' version '0.6.10'
+    id 'org.checkerframework' version '0.6.11'
 }
 
 apply plugin: 'org.checkerframework'