From e011b0d961212c5663ec76a14ec37f653e86824d Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 3 Oct 2024 00:38:55 +0000 Subject: [PATCH] Bump org.checkerframework in /docs/examples/errorprone Bumps org.checkerframework from 0.6.44 to 0.6.45. --- updated-dependencies: - dependency-name: org.checkerframework dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- 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 6a1b34cd026..ab5049e088a 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.44' + id 'org.checkerframework' version '0.6.45' } ext {