From d0516d3678065319f014e26aea09343949145c9e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 14 Jan 2026 00:41:47 +0000 Subject: [PATCH] Bump the gradle-deps group with 4 updates Bumps the gradle-deps group with 4 updates: [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback), [org.junit:junit-bom](https://github.com/junit-team/junit-framework), [org.junit.jupiter:junit-jupiter-engine](https://github.com/junit-team/junit-framework) and [com.gradleup.shadow](https://github.com/GradleUp/shadow). Updates `ch.qos.logback:logback-classic` from 1.5.23 to 1.5.24 - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.com/qos-ch/logback/compare/v_1.5.23...v_1.5.24) Updates `org.junit:junit-bom` from 5.14.1 to 5.14.2 - [Release notes](https://github.com/junit-team/junit-framework/releases) - [Commits](https://github.com/junit-team/junit-framework/compare/r5.14.1...r5.14.2) Updates `org.junit.jupiter:junit-jupiter-engine` from 5.14.1 to 5.14.2 - [Release notes](https://github.com/junit-team/junit-framework/releases) - [Commits](https://github.com/junit-team/junit-framework/compare/r5.14.1...r5.14.2) Updates `com.gradleup.shadow` from 9.3.0 to 9.3.1 - [Release notes](https://github.com/GradleUp/shadow/releases) - [Commits](https://github.com/GradleUp/shadow/compare/9.3.0...9.3.1) --- updated-dependencies: - dependency-name: ch.qos.logback:logback-classic dependency-version: 1.5.24 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: org.junit:junit-bom dependency-version: 5.14.2 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: org.junit.jupiter:junit-jupiter-engine dependency-version: 5.14.2 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: com.gradleup.shadow dependency-version: 9.3.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps ... Signed-off-by: dependabot[bot] --- build.gradle | 10 +++++----- key.core.example/build.gradle | 2 +- key.removegenerics/build.gradle | 2 +- key.ui/build.gradle | 4 ++-- keyext.proofmanagement/build.gradle | 2 +- 5 files changed, 10 insertions(+), 10 deletions(-) diff --git a/build.gradle b/build.gradle index e395696920..9eaa6510d5 100644 --- a/build.gradle +++ b/build.gradle @@ -79,7 +79,7 @@ subprojects { dependencies { implementation("org.slf4j:slf4j-api:2.0.17") implementation("org.slf4j:slf4j-api:2.0.17") - testImplementation("ch.qos.logback:logback-classic:1.5.23") + testImplementation("ch.qos.logback:logback-classic:1.5.24") compileOnly("org.jspecify:jspecify:1.0.0") @@ -91,11 +91,11 @@ subprojects { checkerFramework "io.github.eisop:checker-qual:$eisop_version" checkerFramework "io.github.eisop:checker:$eisop_version" - testImplementation("ch.qos.logback:logback-classic:1.5.23") + testImplementation("ch.qos.logback:logback-classic:1.5.24") testImplementation("org.assertj:assertj-core:3.27.6") - testImplementation("ch.qos.logback:logback-classic:1.5.23") + testImplementation("ch.qos.logback:logback-classic:1.5.24") - testImplementation(platform("org.junit:junit-bom:5.14.1")) + testImplementation(platform("org.junit:junit-bom:5.14.2")) testImplementation ("org.junit.jupiter:junit-jupiter-api") testImplementation ("org.junit.jupiter:junit-jupiter-params") testRuntimeOnly ("org.junit.jupiter:junit-jupiter-engine") @@ -107,7 +107,7 @@ subprojects { testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.20.1") testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.20.1") - testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.14.1' + testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.14.2' } tasks.withType(JavaCompile) { diff --git a/key.core.example/build.gradle b/key.core.example/build.gradle index d4ea9865c8..91463a8217 100644 --- a/key.core.example/build.gradle +++ b/key.core.example/build.gradle @@ -10,5 +10,5 @@ application { dependencies { implementation project(":key.core") - implementation 'ch.qos.logback:logback-classic:1.5.23' + implementation 'ch.qos.logback:logback-classic:1.5.24' } \ No newline at end of file diff --git a/key.removegenerics/build.gradle b/key.removegenerics/build.gradle index b72f209194..6c89608e90 100644 --- a/key.removegenerics/build.gradle +++ b/key.removegenerics/build.gradle @@ -1,6 +1,6 @@ plugins { id 'application' - id 'com.gradleup.shadow' version "9.3.0" + id 'com.gradleup.shadow' version "9.3.1" } description = "Helper to remove generics from Java source code" diff --git a/key.ui/build.gradle b/key.ui/build.gradle index ff9ae375a7..a6e0fe0ffd 100644 --- a/key.ui/build.gradle +++ b/key.ui/build.gradle @@ -8,7 +8,7 @@ plugins { // Used to create a single executable jar file with all dependencies // see task "shadowJar" below // https://github.com/GradleUp/shadow - id 'com.gradleup.shadow' version "9.3.0" + id 'com.gradleup.shadow' version "9.3.1" } description = "User interface for the deductive verification of Java programs" @@ -28,7 +28,7 @@ dependencies { implementation("info.picocli:picocli:4.7.7") //logging implementation used by the slf4j - implementation 'ch.qos.logback:logback-classic:1.5.23' + implementation 'ch.qos.logback:logback-classic:1.5.24' api 'org.key-project:docking-frames-common:1.1.3p1' api 'org.key-project:docking-frames-core:1.1.3p1' diff --git a/keyext.proofmanagement/build.gradle b/keyext.proofmanagement/build.gradle index 377a808ddc..0cf5f05f5a 100644 --- a/keyext.proofmanagement/build.gradle +++ b/keyext.proofmanagement/build.gradle @@ -1,6 +1,6 @@ plugins { id 'application' - id 'com.gradleup.shadow' version "9.3.0" + id 'com.gradleup.shadow' version "9.3.1" } description = "Management of larger verification with KeY."