From 657c98a84a16e916c9c8a1003768a13ad8605f01 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 10 Aug 2024 11:35:18 -0400 Subject: [PATCH] Bump org.checkerframework in /docs/examples/errorprone (#842) --- docs/examples/errorprone/build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/examples/errorprone/build.gradle b/docs/examples/errorprone/build.gradle index 79f60f9bb7c..2995406b838 100644 --- a/docs/examples/errorprone/build.gradle +++ b/docs/examples/errorprone/build.gradle @@ -6,7 +6,7 @@ plugins { id 'java' id 'net.ltgt.errorprone' version '4.0.1' // Checker Framework pluggable type-checking - id 'org.checkerframework' version '0.6.40' + id 'org.checkerframework' version '0.6.43' } ext {