Bump checkerframework.version from 3.38.0 to 3.40.0

Bumps `checkerframework.version` from 3.38.0 to 3.40.0. Updates `org.checkerframework:checker-qual` from 3.38.0 to 3.40.0 - [Release notes](https://github.com/typetools/checker-framework/releases) - [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](typetools/checker-framework@checker-framework-3.38.0...checker-framework-3.40.0) Updates `org.checkerframework:checker` from 3.38.0 to 3.40.0 - [Release notes](https://github.com/typetools/checker-framework/releases) - [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](typetools/checker-framework@checker-framework-3.38.0...checker-framework-3.40.0) --- updated-dependencies: - dependency-name: org.checkerframework:checker-qual dependency-type: direct:production update-type: version-update:semver-minor - dependency-name: org.checkerframework:checker dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
usethesource · Nov 1, 2023 · 634f143 · 634f143
1 parent 3926c9d
commit 634f143
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -22,7 +22,7 @@
 
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-		<checkerframework.version>3.38.0</checkerframework.version>
+		<checkerframework.version>3.40.0</checkerframework.version>
 		<maven.compiler.source>11</maven.compiler.source>
 		<maven.compiler.target>11</maven.compiler.target>
 	</properties>