From 5898eac9d010ee960d224eac22db58c6b479bdc2 Mon Sep 17 00:00:00 2001 From: Christian Beikov Date: Wed, 5 Nov 2025 15:07:21 +0100 Subject: [PATCH] Update Checker Framework versions --- build.gradle | 2 +- settings.gradle | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/build.gradle b/build.gradle index 4f188941f83e..3f71deabf2c9 100644 --- a/build.gradle +++ b/build.gradle @@ -24,7 +24,7 @@ plugins { id 'biz.aQute.bnd' version '7.1.0' apply false id "com.diffplug.spotless" version "7.0.4" - id 'org.checkerframework' version '0.6.56' + id 'org.checkerframework' version '0.6.61' id 'org.hibernate.orm.build.jdks' id 'io.github.gradle-nexus.publish-plugin' version '2.0.0' diff --git a/settings.gradle b/settings.gradle index 663f7881db6d..e8d6dad69247 100644 --- a/settings.gradle +++ b/settings.gradle @@ -77,7 +77,7 @@ dependencyResolutionManagement { // WARNING: When upgrading to a version of bytebuddy that supports a new bytecode version, // make sure to remove the now unnecessary net.bytebuddy.experimental=true in relevant CI jobs (Jenkinsfile). def byteBuddyVersion = version "byteBuddy", "1.17.6" - def checkerFrameworkVersion = version "checkerFramework", "3.49.5" + def checkerFrameworkVersion = version "checkerFramework", "3.52.0" def classmateVersion = version "classmate", "1.7.0" def geolatteVersion = version "geolatte", "1.10" def hibernateModelsVersion = version "hibernateModels", "1.0.1"