From 93b372d0634c75afb8ec4cd9dac0018a65aca849 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Sat, 9 May 2026 20:24:55 +0000 Subject: [PATCH] Update plugin org.checkerframework to v1 --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index f3041d6..67ee671 100644 --- a/build.gradle +++ b/build.gradle @@ -9,7 +9,7 @@ plugins { id("idea") // To show task list as a tree, run: ./gradlew taskTree id("com.dorongold.task-tree").version("4.0.1") - id("org.checkerframework").version("0.6.61") + id("org.checkerframework").version("1.0.2") } repositories {