From 1f02a56a5cd8e2d4c93cff2967370c84a12be45b Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 1 Aug 2024 20:50:28 +0000 Subject: [PATCH] Bump the gradle-deps group with 6 updates Bumps the gradle-deps group with 6 updates: | Package | From | To | | --- | --- | --- | | [org.jspecify:jspecify](https://github.com/jspecify/jspecify) | `0.3.0` | `1.0.0` | | [io.github.eisop:checker-qual](https://github.com/eisop/checker-framework) | `3.42.0-eisop3` | `3.42.0-eisop4` | | [io.github.eisop:checker-util](https://github.com/eisop/checker-framework) | `3.42.0-eisop3` | `3.42.0-eisop4` | | [io.github.eisop:checker](https://github.com/eisop/checker-framework) | `3.42.0-eisop3` | `3.42.0-eisop4` | | org.checkerframework | `0.6.41` | `0.6.43` | | [com.miglayout:miglayout-swing](https://github.com/mikaelgrev/miglayout) | `11.3` | `11.4` | Updates `org.jspecify:jspecify` from 0.3.0 to 1.0.0 - [Release notes](https://github.com/jspecify/jspecify/releases) - [Commits](https://github.com/jspecify/jspecify/compare/v0.3.0...v1.0.0) Updates `io.github.eisop:checker-qual` from 3.42.0-eisop3 to 3.42.0-eisop4 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4) Updates `io.github.eisop:checker-util` from 3.42.0-eisop3 to 3.42.0-eisop4 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4) Updates `io.github.eisop:checker` from 3.42.0-eisop3 to 3.42.0-eisop4 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4) Updates `io.github.eisop:checker-util` from 3.42.0-eisop3 to 3.42.0-eisop4 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4) Updates `io.github.eisop:checker` from 3.42.0-eisop3 to 3.42.0-eisop4 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4) Updates `org.checkerframework` from 0.6.41 to 0.6.43 Updates `com.miglayout:miglayout-swing` from 11.3 to 11.4 - [Release notes](https://github.com/mikaelgrev/miglayout/releases) - [Changelog](https://github.com/mikaelgrev/miglayout/blob/master/release.txt) - [Commits](https://github.com/mikaelgrev/miglayout/compare/v11.3...v11.4) --- updated-dependencies: - dependency-name: org.jspecify:jspecify dependency-type: direct:production update-type: version-update:semver-major dependency-group: gradle-deps - dependency-name: io.github.eisop:checker-qual dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: io.github.eisop:checker-util dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: io.github.eisop:checker dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: io.github.eisop:checker-util dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: io.github.eisop:checker dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: org.checkerframework dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: com.miglayout:miglayout-swing dependency-type: direct:production update-type: version-update:semver-minor dependency-group: gradle-deps ... Signed-off-by: dependabot[bot] --- build.gradle | 8 ++++---- key.ncore/build.gradle | 2 +- key.ui/build.gradle | 2 +- key.util/build.gradle | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/build.gradle b/build.gradle index 61364ce00d4..43eb5ac4f0a 100644 --- 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.41" + id "org.checkerframework" version "0.6.43" } // Configure this project for use inside IntelliJ: @@ -81,9 +81,9 @@ subprojects { //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' - compileOnly("org.jspecify:jspecify:0.3.0") - testCompileOnly("org.jspecify:jspecify:0.3.0") - def eisop_version = "3.42.0-eisop3" + compileOnly("org.jspecify:jspecify:1.0.0") + testCompileOnly("org.jspecify:jspecify:1.0.0") + def eisop_version = "3.42.0-eisop4" compileOnly "io.github.eisop:checker-qual:$eisop_version" compileOnly "io.github.eisop:checker-util:$eisop_version" testCompileOnly "io.github.eisop:checker-qual:$eisop_version" diff --git a/key.ncore/build.gradle b/key.ncore/build.gradle index 05c37191647..04eabab0a84 100644 --- a/key.ncore/build.gradle +++ b/key.ncore/build.gradle @@ -7,7 +7,7 @@ configurations { } dependencies { api project(':key.util') - implementation 'org.jspecify:jspecify:0.3.0' + implementation 'org.jspecify:jspecify:1.0.0' } tasks.withType(Test) { diff --git a/key.ui/build.gradle b/key.ui/build.gradle index 93edbc44890..1d5b7172224 100644 --- a/key.ui/build.gradle +++ b/key.ui/build.gradle @@ -20,7 +20,7 @@ dependencies { implementation project(":key.core.symbolic_execution") implementation project(":key.removegenerics") - api 'com.miglayout:miglayout-swing:11.3' + api 'com.miglayout:miglayout-swing:11.4' //logging implementation used by the slf4j implementation 'ch.qos.logback:logback-classic:1.5.6' diff --git a/key.util/build.gradle b/key.util/build.gradle index 59f50b8398f..382a103b60a 100644 --- a/key.util/build.gradle +++ b/key.util/build.gradle @@ -1,7 +1,7 @@ description "Utility library of the key-project" dependencies { - implementation("org.jspecify:jspecify:0.3.0") + implementation("org.jspecify:jspecify:1.0.0") } checkerFramework {