Merge branch 'njit-jerse:main' into main

gmerr3 · Nov 13, 2024 · f8cac38 · f8cac38
2 parents 8689f0f + 1d38559
commit f8cac38
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/build.gradle b/build.gradle
@@ -5,8 +5,8 @@ plugins {
     id 'maven-publish'
     id 'signing'
     id 'com.diffplug.spotless' version '6.25.0'
-    id 'org.checkerframework' version '0.6.45'
-    id("net.ltgt.errorprone") version "4.0.1"
+    id 'org.checkerframework' version '0.6.46'
+    id("net.ltgt.errorprone") version "4.1.0"
     id 'com.adarshr.test-logger' version '4.0.0'
 }
 
@@ -33,7 +33,7 @@ dependencies {
     // Use JUnit test framework.
     testImplementation 'junit:junit:4.13.2'
 
-    errorprone("com.google.errorprone:error_prone_core:2.32.0")
+    errorprone("com.google.errorprone:error_prone_core:2.35.1")
 }
 
 // Use require-javadoc. From https://github.com/plume-lib/require-javadoc.