Bump the gradle-deps group with 5 updates (#3516)

KeYProject · Oct 2, 2024 · 41a76db · 41a76db
2 parents 144a9ba + 22e4279
commit 41a76db
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/build.gradle b/build.gradle
@@ -24,7 +24,7 @@ plugins {
     id "com.diffplug.spotless" version "6.25.0"
 
     // EISOP Checker Framework
-    id "org.checkerframework" version "0.6.43"
+    id "org.checkerframework" version "0.6.44"
 }
 
 // Configure this project for use inside IntelliJ:
@@ -76,7 +76,7 @@ subprojects {
     dependencies {
         implementation("org.slf4j:slf4j-api:2.0.16")
         implementation("org.slf4j:slf4j-api:2.0.16")
-        testImplementation("ch.qos.logback:logback-classic:1.5.7")
+        testImplementation("ch.qos.logback:logback-classic:1.5.8")
 
         //compile group: 'org.apache.logging.log4j', name: 'log4j-api', version: '2.12.0'
         //compile group: 'org.apache.logging.log4j', name: 'log4j-core', version: '2.12.0'
@@ -89,12 +89,12 @@ subprojects {
         testCompileOnly "io.github.eisop:checker-qual:$eisop_version"
         checkerFramework "io.github.eisop:checker:$eisop_version"
 
-        testImplementation("ch.qos.logback:logback-classic:1.5.7")
-        testImplementation 'org.junit.jupiter:junit-jupiter-api:5.11.0'
-        testImplementation 'org.junit.jupiter:junit-jupiter-params:5.11.0'
+        testImplementation("ch.qos.logback:logback-classic:1.5.8")
+        testImplementation 'org.junit.jupiter:junit-jupiter-api:5.11.1'
+        testImplementation 'org.junit.jupiter:junit-jupiter-params:5.11.1'
         testImplementation project(':key.util')
 
-        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.11.0'
+        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.11.1'
     }
 
     tasks.withType(JavaCompile) {

diff --git a/key.ui/build.gradle b/key.ui/build.gradle
@@ -23,7 +23,7 @@ dependencies {
     api 'com.miglayout:miglayout-swing:11.4.2'
 
     //logging implementation used by the slf4j
-    implementation 'ch.qos.logback:logback-classic:1.5.7'
+    implementation 'ch.qos.logback:logback-classic:1.5.8'
 
     api 'org.key-project:docking-frames-common:1.1.3p1'
     api 'org.key-project:docking-frames-core:1.1.3p1'