update Checkstyle to v10.12.5

stephengold · Nov 17, 2023 · 979064d · 979064d
1 parent 0d7a42c
commit 979064d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/common.gradle b/common.gradle
@@ -9,7 +9,7 @@ java {
 }
 
 checkstyle {
-    toolVersion '10.12.3'
+    toolVersion '10.12.5'
 }
 
 tasks.withType(JavaCompile).configureEach { // Java compile-time options: