Merge branch 'dev' into ps/#247-GitHubActions

ie3-institute · Feb 19, 2025 · d1e3a8c · d1e3a8c
2 parents 4b8217f + bc4f7b8
commit d1e3a8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -3,7 +3,7 @@ plugins {
   id 'java' // java support
   id 'com.diffplug.spotless' version '7.0.2'//code format
   id 'pmd' // code check, working on source code
-  id 'com.github.spotbugs' version '6.1.3' // code check, working on byte code
+  id 'com.github.spotbugs' version '6.1.5' // code check, working on byte code
   id "org.sonarqube" version "6.0.1.5171" // sonarqube
   id 'signing'
   id 'maven-publish' // publish to a maven repo (local or mvn central, has to be defined)