Bump pmd from 7.1.0 to 7.3.0

pmd · Jun 28, 2024 · 3aa1cb2 · 3aa1cb2
1 parent 5e1fc66
commit 3aa1cb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -83,7 +83,7 @@
 
         <pmd.build-tools.version>26</pmd.build-tools.version>
         <pmd.plugin.version>3.23.0</pmd.plugin.version>
-        <pmd.check.version>7.1.0</pmd.check.version>
+        <pmd.check.version>7.3.0</pmd.check.version>
 
         <jflex-output>${project.build.directory}/generated-sources/jflex</jflex-output>