From 575b03dce8211883c3fa6658f59d9ac014f0448a Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 10 Aug 2026 20:43:26 +0000 Subject: [PATCH] Bump org.checkerframework:checker-qual Bumps the dev-deps group with 1 update in the / directory: [org.checkerframework:checker-qual](https://github.com/typetools/checker-framework). Updates `org.checkerframework:checker-qual` from 4.2.1 to 4.2.2 - [Release notes](https://github.com/typetools/checker-framework/releases) - [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/typetools/checker-framework/compare/checker-framework-4.2.1...checker-framework-4.2.2) --- updated-dependencies: - dependency-name: org.checkerframework:checker-qual dependency-version: 4.2.2 dependency-type: direct:development update-type: version-update:semver-patch dependency-group: dev-deps ... Signed-off-by: dependabot[bot] --- core/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/pom.xml b/core/pom.xml index 61ec1e0..517e922 100644 --- a/core/pom.xml +++ b/core/pom.xml @@ -50,7 +50,7 @@ org.checkerframework checker-qual - 4.2.1 + 4.2.2 test