chore(deps): update dependency fr.inria.gforge.spoon:spoon-core to v11

[renovate]

ℹ️ Note

This PR body was truncated due to platform limits.

This PR contains the following updates:

Package	Change	Age	Confidence
fr.inria.gforge.spoon:spoon-core (source)	10.4.2 → 11.5.0

---

Release Notes

INRIA/spoon (fr.inria.gforge.spoon:spoon-core)

v11.5.0

Compare Source

Changelog

🛠 Build

• df7b08e build(deps): update actions/cache action to v6 (#​6770)
• 79b71e6 build(deps): update actions/checkout action to v7 (#​6765)
• 0eaabd8 build(deps): update dependency jquery to v4 (#​6791)
• 94c79c8 build(deps): update step-security/harden-runner action to v2.20.0 (#​6790)
• a990bc3 build(deps): update github/codeql-action action to v4.37.0 (#​6788)
• 8c1d013 build(deps): update actions/setup-java action to v5.5.0 (#​6787)
• 6ee0232 build(deps): update junit-framework monorepo to v6.1.2 (#​6789)
• fb4639b build(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.22.1 (#​6785)
• b8a9052 build(deps): update dependency ch.qos.logback:logback-classic to v1.5.38 (#​6784)
• fcb8bf8 build(deps): update github/codeql-action digest to 99df26d (#​6783)
• f1dbc82 build(deps): update actions/setup-java digest to 0f481fc (#​6782)

---

• 6fa52f3 release: Releasing version 11.5.0

v11.4.0

Compare Source

Changelog

• 36efb25 release: Releasing version 11.4.0

v11.3.0

Compare Source

Changelog

🚀 Features

• 848f427 feat: add renaming of annotation methods (#​6457)
• 93afb5b feat: Add EnumValue support to VariableReferenceFunction (#​6441)

🐛 Fixes

• 5a04b28 fix: Fix typo in argument name (#​6556)
• 4e80530 fix: make testInitPropertiesWithWrongType deterministic by separating valid and invalid property initialization (#​6500)
• 4cf5e94 fix: resolve references to variables declared in type patterns (#​6444)
• 5c21a88 fix: renaming of generics (#​6458)

🧪 Tests

• e28fe18 test: Fix arguments ordering in assertEquals (#​6555)
• 0aa5ef8 test: remove non-determinism in three tests (#​6123)

🧰 Tasks

• faa0c8e chore: Disable fail mode for flake-checker-action (#​6557)
• 342d1cc chore: ignore .asc & .sha256 & .sha512 in attestations (#​6516)
• d499ae7 chore: Update jreleaser config (#​6515)
• e0819ea chore: add repository path to signature subjects (#​6504)
• f7cfb8d chore: add .editorconfig (#​6489)
• a4751de chore: Sleep a bit when encountering a 429 in doc link checker (#​6286)

🛠 Build

• cd0daf8 build(deps): update dependency ch.qos.logback:logback-classic to v1.5.23 (#​6573)
• 8fdab43 build(deps): update jetbrains/qodana-action action to v2025.3.1 (#​6571)
• 94ef964 build(deps): update determinatesystems/nix-installer-action action to v21 (#​6523)
• c6f5d7f build(deps): update actions/checkout action to v6 (#​6538)
• f3d4582 build(deps): update actions/cache action to v5 (#​6563)
• 791391a build(deps): update github artifact actions to v6 (#​6566)
• 76cb15f build(deps): update actions/attest-build-provenance action to v3.1.0 (#​6570)
• cd5f4fa build(deps): update github/codeql-action action to v4.31.9 (#​6569)
• fb12b8e build(deps): update github/codeql-action digest to 5d4e8d1 (#​6568)
• 56eb659 build(deps): update dependency org.apache.maven.plugins:maven-release-plugin to v3.3.1 (#​6567)
• b3a9e74 build(deps): update github/codeql-action action to v4.31.8 (#​6565)
• 1d36efd build(deps): update github/codeql-action digest to 1b168cd (#​6564)
• 57afd36 build(deps): update jetbrains/qodana-action action to v2025.2.4 (#​6561)
• c450a82 build(deps): update dependency ch.qos.logback:logback-classic to v1.5.22 (#​6562)
• e609ac0 build(deps): update step-security/harden-runner action to v2.14.0 (#​6559)
• a2b3c43 build(deps): update mockito monorepo to v5.21.0 (#​6558)
• 840356e build(deps): update github/codeql-action action to v4.31.7 (#​6553)
• ef00f49 build(deps): update github/codeql-action digest to cf1bb45 (#​6552)
• 61157e6 build(deps): update jetbrains/qodana-action action to v2025.2.3 (#​6551)
• 8e8f04f build(deps): update actions/setup-java action to v5.1.0 (#​6550)
• c630756 build(deps): update actions/setup-java digest to f2beeb2 (#​6549)
• c4a130d build(deps): update dependency org.apache.maven.plugins:maven-release-plugin to v3.3.0 (#​6548)
• e29528a build(deps): update step-security/harden-runner action to v2.13.3 (#​6547)
• a111f6e build(deps): update github/codeql-action action to v4.31.6 (#​6546)
• daa47f0 build(deps): update github/codeql-action digest to fe4161a (#​6545)
• 0805893 build(deps): update dependency org.apache.maven.plugins:maven-source-plugin to v3.4.0 (#​6543)
• 441bf87 build(deps): update dependency org.apache.maven.plugins:maven-resources-plugin to v3.4.0 (#​6542)
• 42c66b6 build(deps): update github/codeql-action action to v4.31.5 (#​6540)
• b9e48d5 build(deps): update dependency org.apache.maven.plugins:maven-assembly-plugin to v3.8.0 (#​6541)
• bcc2e3d build(deps): update github/codeql-action digest to fdbfb4d (#​6539)
• 9acc790 build(deps): update dependency org.tukaani:xz to v1.11 (#​6537)
• 9dd1570 build(deps): update jetbrains/qodana-action action to v2025.2.2 (#​6536)
• 7e3718a build(deps): update dependency com.diffplug.spotless:spotless-maven-plugin to v3.1.0 (#​6535)
• c548602 build(deps): update github/codeql-action action to v4.31.4 (#​6534)
• c3d9a69 build(deps): update github/codeql-action digest to e12f017 (#​6533)
• 0e53a73 build(deps): update gradle to v9.2.1 (#​6531)
• 8aed788 build(deps): update actions/checkout digest to 93cb6ef (#​6532)
• a3de4df build(deps): update actions/checkout action to v5.0.1 (#​6530)
• fd00137 build(deps): update dependency org.apache.commons:commons-lang3 to v3.20.0 (#​6529)
• 8c890fe build(deps): update dependency org.apache.maven.plugins:maven-jar-plugin to v3.5.0 (#​6527)
• 8b75254 build(deps): update github/codeql-action action to v4.31.3 (#​6526)
• cc98bc6 build(deps): update github/codeql-action digest to 014f16e (#​6525)
• 3e65523 build(deps): update dependency commons-cli:commons-cli to v1.11.0 (#​6524)
• ddc7cd2 build(deps): update github artifact actions to v5 (#​6498)
• 23baeb2 build(deps): update dependency ch.qos.logback:logback-classic to v1.5.21 (#​6522)
• daebdd9 build(deps): update dependency org.apache.maven.plugins:maven-release-plugin to v3.2.0 (#​6520)
• 4c44d4b build(deps): lock file maintenance (#​6519)
• 621b1f9 build(deps): update dependency commons-io:commons-io to v2.21.0 (#​6517)
• 9367e37 build(deps): update step-security/harden-runner action to v2.13.2 (#​6513)
• d152043 build(deps): lock file maintenance (#​6511)
• 0760225 build(deps): update gradle to v9.2.0 (#​6510)
• 58a15fd build(deps): update junit-framework monorepo to v6.0.1 (#​6509)
• 18252bb build(deps): update github/codeql-action action to v4.31.2 (#​6507)
• cb008ab build(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.20.1 (#​6506)
• 5aa028f build(deps): update github/codeql-action digest to 0499de3 (#​6505)
• 93b5b35 build(deps): update github/codeql-action action to v4.31.0 (#​6497)
• 691343b build(deps): update github/codeql-action digest to 4e94bd1 (#​6496)
• c15a2d2 build(deps): update dependency org.apache.maven.plugins:maven-antrun-plugin to v3.2.0 (#​6492)
• 280b188 build(deps): update github/codeql-action action to v4 (#​6478)
• d31a05e build(deps): lock file maintenance (#​6491)
• 68e5d77 build(deps): update github/codeql-action action to v3.30.9 (#​6486)
• 5b56ca3 build(deps): update dependency ch.qos.logback:logback-classic to v1.5.20 (#​6490)
• f714bbc build(deps): update github/codeql-action digest to 4221315 (#​6485)
• fd3fda7 build(deps): lock file maintenance (#​6484)
• 9faf156 build(deps): update dependency org.jacoco:jacoco-maven-plugin to v0.8.14 (#​6483)
• d6b165d build(deps): update github/codeql-action action to v3.30.8 (#​6482)
• b51914d build(deps): update github/codeql-action digest to 755f449 (#​6481)
• c6fca72 build(deps): update github/codeql-action action to v3.30.7 (#​6480)
• 133e5f9 build(deps): update github/codeql-action digest to a8d1ac4 (#​6479)
• e89cb72 build(deps): lock file maintenance (#​6477)
• c9c48b8 build(deps): update dependency org.apache.maven.plugins:maven-dependency-plugin to v3.9.0 (#​6476)
• 4508693 build(deps): update github/codeql-action action to v3.30.6 (#​6475)
• f9ca372 build(deps): update dependency org.apache.maven.plugins:maven-enforcer-plugin to v3.6.2 (#​6474)
• 2489b24 build(deps): update github/codeql-action digest to 64d10c1 (#​6473)
• cb8fe84 build(deps): update junit-framework monorepo to v6 (#​6470)
• e9faf24 build(deps): update ossf/scorecard-action action to v2.4.3 (#​6472)
• c75a9fe build(deps): update dependency ch.qos.logback:logback-classic to v1.5.19 (#​6471)
• 1eedbe4 build(deps): update junit-framework monorepo (#​6469)
• ba7ffae build(deps): lock file maintenance (#​6468)
• 6bedc75 build(deps): update determinatesystems/magic-nix-cache-action action to v13 (#​6366)
• e49f504 build(deps): update determinatesystems/flake-checker-action action to v12 (#​6365)
• 6a954f7 build(deps): update dependency com.diffplug.spotless:spotless-maven-plugin to v3 (#​6462)
• 78a6ebf build(deps): update github/codeql-action action to v3.30.5 (#​6466)
• eb633ab build(deps): update github/codeql-action digest to 3599b3b (#​6465)
• 488f35b build(deps): update github/codeql-action action to v3.30.4 (#​6464)
• 944cf20 build(deps): update github/codeql-action digest to 303c0ae (#​6463)
• 16d8c6e build(deps): update dependency org.apache.commons:commons-lang3 to v3.19.0 (#​6461)
• 559004b build(deps): update actions/cache action to v4.3.0 (#​6460)
• 5541068 build(deps): update plugin com.github.ben-manes.versions to v0.53.0 (#​6459)
• cb67d85 build(deps): update dependency org.apache.maven.plugins:maven-compiler-plugin to v3.14.1 (#​6455)
• 83084c9 build(deps): update dependency org.assertj:assertj-core to v3.27.6 (#​6456)
• e3bcb68 build(deps): lock file maintenance (#​6454)
• 9149f47 build(deps): update dependency org.apache.maven.plugins:maven-javadoc-plugin to v3.12.0 (#​6453)
• cc8108a build(deps): update mockito monorepo to v5.20.0 (#​6452)
• 1033c75 build(deps): update dependency org.assertj:assertj-core to v3.27.5 (#​6447)
• aa7cd97 build(deps): update gradle to v9.1.0 (#​6446)
• f0f6a84 build(deps): lock file maintenance (#​6443)
• 58f5a4b build(deps): update determinatesystems/nix-installer-action action to v20 (#​6435)
• 10f0bbb build(deps): update dependency org.apache.maven.plugins:maven-surefire-plugin to v3.5.4 (#​6440)
• b342e82 build(deps): update dependency org.apache.maven.plugins:maven-shade-plugin to v3.6.1 (#​6439)
• f876e6f build(deps): update github/codeql-action action to v3.30.3 (#​6438)
• 2aef8da build(deps): update github/codeql-action digest to 192325c (#​6437)
• 9758743 build(deps): update step-security/harden-runner action to v2.13.1 (#​6434)
• e155970 build(deps): update github/codeql-action action to v3.30.2 (#​6432)
• b2c7cfc build(deps): update jfx.version to v26-ea+6 (#​6433)
• d374892 build(deps): update github/codeql-action digest to d3678e2 (#​6431)
• 943a198 build(deps): update determinatesystems/nix-installer-action action to v19 (#​6367)
• 5001deb build(deps): update actions/setup-java action to v5 (#​6414)
• 57ab67b build(deps): update actions/attest-build-provenance action to v3 (#​6418)
• d528cc0 build(deps): lock file maintenance (#​6428)
• 44c2a61 build(deps): update github/codeql-action action to v3.30.1 (#​6427)
• 0f56267 build(deps): update github/codeql-action digest to f1f6e5f (#​6426 ...

v11.2.1

Compare Source

Changelog

🐛 Fixes

• 50c13c9 fix(noclasspath): Add null check in isIncorrectlyBoundExecutableInNoClasspath (#​6268)
• b8f021e fix: prevent printing spaces before typecast (#​6237)

🧪 Tests

• ddfdfe9 test: add tests about #​5001 (#​6285)

🧰 Tasks

• 4c9c57b chore: Add explicit scm for each submodule to have valid urls (#​6280)
• 84627a0 chore(config): migrate config renovate.json (#​6269)
• 3ebc0d8 chore: Update package.json of changelog generator (#​6267)
• d4dbb76 chore: Set Launcher's compliance level to 17 for some default-pretty-printer tests (#​6241)

🛠 Build

• 338b3d1 build(deps): lock file maintenance (#​6321)
• a32052c build(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.19.1 (#​6320)
• 9e2181b build(deps): lock file maintenance (#​6307)
• 608e291 build(deps): update jfx.version to v25-ea+20 (#​6319)
• 4d73c8a build(deps): update junit5 monorepo (#​6303)
• 8d6741a build(deps): update github/codeql-action action to v3.29.0 (#​6310)
• 72f5d7b build(deps): update dependency org.apache.maven.plugins:maven-clean-plugin to v3.5.0 (#​6306)
• a9bf1eb build(deps): update actions/attest-build-provenance action to v2.4.0 (#​6315)
• 2e5182a build(deps): update step-security/harden-runner action to v2.12.1 (#​6314)
• 55a60cd build(deps): update ossf/scorecard-action action to v2.4.2 (#​6305)
• f08c9ac build(deps): update dependency gradle to v8.14.2 (#​6311)
• ec548c4 build(deps): update dependency com.diffplug.spotless:spotless-maven-plugin to v2.44.5 (#​6302)
• 1fc2fbc build(deps): update github/codeql-action digest to ce28f5b (#​6309)
• bd1724b build(deps): lock file maintenance (#​6301)
• 1b79383 build(deps): update jfx.version to v25-ea+18 (#​6299)
• 2e3cc07 build(deps): update dependency gradle to v8.14.1 (#​6298)
• cf78a1e build(deps): update dependency org.mockito:mockito-junit-jupiter to v5.18.0 (#​6297)
• 6c7f990 build(deps): update dependency org.mockito:mockito-core to v5.18.0 (#​6296)
• 58a477c build(deps): lock file maintenance (#​6295)
• 75cfe5e build(deps): update jfx.version to v25-ea+17 (#​6294)
• d3b7b98 build(deps): update github/codeql-action action to v3.28.18 (#​6293)
• 4b22bfe build(deps): update github/codeql-action digest to ff0a06e (#​6292)
• f59d00e build(deps): lock file maintenance (#​6287)
• 5622951 build(deps): update github/codeql-action action to v3.28.17 (#​6284)
• 5dbcfe1 build(deps): update github/codeql-action digest to 60168ef (#​6283)
• 9b5c5a6 build(deps): update determinatesystems/nix-installer-action action to v17 (#​6275)
• c533454 build(deps): update actions/attest-build-provenance action to v2.3.0 (#​6282)
• 9d8f91d build(deps): update jfx.version to v25-ea+14 (#​6281)
• 784f073 build(deps): update dependency gradle to v8.14 (#​6279)
• 00049f0 build(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.19.0 (#​6277)
• 7889543 build(deps): update github/codeql-action action to v3.28.16 (#​6274)
• 32be8c2 build(deps): update github/codeql-action digest to 28deaed (#​6273)
• 2d0a0b7 build(deps): update step-security/harden-runner action to v2.12.0 (#​6271)
• 4622898 build(deps): lock file maintenance (#​6270)
• 0e7bdec build(deps): update dependency com.mycila:license-maven-plugin to v5 (#​6235)
• 34dd1ee build(deps): update dependency org.apache.maven.plugins:maven-enforcer-plugin to v3 (#​6236)
• aa13ace build(deps): update jfx.version to v25-ea+12 (#​6266)
• 22958c8 build(deps): lock file maintenance (#​6265)
• a788806 build(deps): update dependency commons-io:commons-io to v2.19.0 (#​6264)
• 8ebfb15 build(deps): update junit5 monorepo (#​6263)
• dc343c5 build(deps): update actions/setup-java action to v4.7.1 (#​6262)
• 85aef67 build(deps): update actions/setup-java digest to c5195ef (#​6261)
• 092bcd2 build(deps): update github/codeql-action action to v3.28.15 (#​6256)
• 077ac95 build(deps): update dependency com.diffplug.spotless:spotless-maven-plugin to v2.44.4 (#​6258)
• fe5a12f build(deps): update github/codeql-action digest to 45775bd (#​6257)
• e029410 build(deps): update github/codeql-action digest to fc7e4a0 (#​6255)
• c2c4c29 build(deps): update dependency org.mockito:mockito-junit-jupiter to v5.17.0 (#​6253)
• ed42036 build(deps): lock file maintenance (#​6254)
• e446a3f build(deps): update dependency org.mockito:mockito-core to v5.17.0 (#​6252)
• 4b96d94 build(deps): update jfx.version to v25-ea+11 (#​6251)
• e6449f0 build(deps): update dependency org.jacoco:jacoco-maven-plugin to v0.8.13 (#​6250)
• c848a8a build(deps): update step-security/harden-runner action to v2.11.1 (#​6249)
• cd4835f build(deps): lock file maintenance (#​6247)
• f81c106 build(deps): update dependency org.apache.maven.plugins:maven-surefire-plugin to v3.5.3 (#​6246)
• 9b94e46 build(deps): update jfx.version to v25-ea+10 (#​6245)
• b3b525f build(deps): update github/codeql-action action to v3.28.13 (#​6240)
• adf4d89 build(deps): update github/codeql-action digest to 1b549b9 (#​6239)
• 765d261 build(deps): lock file maintenance (#​6238)

---

• b96e317 release: Releasing version 11.2.1
• a2c90df release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• 8859b6e release: Releasing version 11.2.1-beta-21
• 8dc4537 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• 4ad309a release: Releasing version 11.2.1-beta-20
• 3b2f293 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• d11a921 release: Releasing version 11.2.1-beta-19
• 32980c5 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• f447739 release: Releasing version 11.2.1-beta-18
• 349e85e release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• 56a2356 release: Releasing version 11.2.1-beta-17
• 463587b release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• e5d519b release: Releasing version 11.2.1-beta-16
• 9ead812 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• 8bebe46 release: Releasing version 11.2.1-beta-15
• 284d56e release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• f5fac60 release: Releasing version 11.2.1-beta-14
• c27c671 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• cb8ba04 release: Releasing version 11.2.1-beta-13
• 08407c1 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• 6697d4c release: Releasing version 11.2.1-beta-12
• 7fd5f58 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• d64c119 release: Releasing version 11.2.1-beta-11
• 5ac4279 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT
• 859c45b release: Releasing version 11.2.1-beta-10
• 1026ca2 release: Reverting to SNAPSHOT version 11.2.1-SNAPSHOT

Contributors

We'd like to thank the following people for their contributions:

• Elias Lundell (@​LogFlames)
• Ganesh Subramanian (@​minnal)
• Martin Monperrus (@​monperrus)
• Rishi Vijayvargiya (@​rishivijayv)

v11.2.0

Compare Source

Changelog

🐛 Fixes

• e27367c fix: protect against NPE (#​6103)
• f57bf23 fix: Crashes when records contain static fields (#​6095)
• 4c8531f fix: Improve comment handling in lambda parameters and local variables (#​6076)
• 5f250ea fix: Make SortedList#add return value adhere to List contract (#​6049)
• a2049a7 fix: Use new line symbol from system also for BLOCK comments when printing (#​6052)
• d1c9d72 fix: inconsistent parents for elements in model (#​5870)

🧪 Tests

• 3c6e7ef test: easy type access for ModelTests (#​6051)

🧰 Tasks

• a9a6121 chore: Update nix lockfile (#​6130)
• 269d938 chore: remove depclean (#​6053)
• 51b5032 chore: Attest release artifacts with sigstore/cosign (#​6016)

🛠 Build

• 1a9b50b build(deps): update github/codeql-action action to v3.28.3 (#​6148)
• 93b766e build(deps): update github/codeql-action digest to dd196fa (#​6147)
• 2a983e2 build(deps): update dependency org.jetbrains:annotations to v26.0.2 (#​6146)
• 41c13df build(deps): update github/codeql-action action to v3.28.2 (#​6144)
• e0d4f60 build(deps): update github/codeql-action digest to d68b2d4 (#​6143)
• bf8574e build(deps): lock file maintenance (#​6142)
• a77311c build(deps): update step-security/harden-runner action to v2.10.4 (#​6141)
• e77eaeb build(deps): update dependency org.assertj:assertj-core to v3.27.3 (#​6139)
• dd6ffdd build(deps): update dependency com.diffplug.spotless:spotless-maven-plugin to v2.44.2 (#​6138)
• c7b2113 build(deps): update actions/upload-artifact action to v4.6.0 (#​6134)
• 3e942c7 build(deps): lock file maintenance (#​6137)
• e2beed9 build(deps): update github/codeql-action action to v3.28.1 (#​6136)
• 26caf77 build(deps): update github/codeql-action digest to b6a472f (#​6135)
• 58e1b64 build(deps): update actions/upload-artifact digest to 65c4c4a (#​6133)
• ad5c081 build(deps): update dependency com.diffplug.spotless:spotless-maven-plugin to v2.44.1 (#​6131)
• 2ac9654 build(deps): update step-security/harden-runner action to v2.10.3 (#​6132)
• 14698b9 build(deps): update dependency com.diffplug.spotless:spotless-maven-plugin to v2.44.0 (#​6129)
• a02587d build(deps): update dependency ch.qos.logback:logback-classic to v1.5.16 (#​6128)
• 0621fa7 build(deps): update dependency org.assertj:assertj-core to v3.27.2 (#​6127)
• cbd81fc build(deps): update mockito monorepo to v5.15.2 (#​6126)
• da014b6 build(deps): update dependency org.assertj:assertj-core to v3.27.1 (#​6125)
• 4bdeb10 build(deps): lock file maintenance (#​6122)
• fe93459 build(deps): update jetbrains/qodana-action action to v2024.3.4 (#​6121)
• eafbcca build(deps): update dependency ch.qos.logback:logback-classic to v1.5.15 (#​6120)
• 0b605ca build(deps): update github/codeql-action action to v3.28.0 (#​6119)
• 24e33e1 build(deps): update github/codeql-action digest to 48ab28a (#​6118)
• 5afd5af build(deps): update dependency gradle to v8.12 (#​6117)
• 6a44066 build(deps): update dependency org.assertj:assertj-core to v3.27.0 (#​6116)
• f486180 build(deps): update dependency ch.qos.logback:logback-classic to v1.5.14 (#​6115)
• d3a16b0 build(deps): update dependency ch.qos.logback:logback-classic to v1.5.13 (#​6114)
• e234c0c build(deps): update dependency tools.aqua:z3-turnkey to v4.13.4 (#​6113)
• c7626ef build(deps): update actions/upload-artifact action to v4.5.0 (#​6110)
• a82aa74 build(deps): update actions/setup-java action to v4.6.0 (#​6112)
• 230fd53 build(deps): update actions/setup-java digest to 7a6d8a8 (#​6111)
• 9db26df build(deps): update jetbrains/qodana-action action to v2024.3.3 (#​6109)
• 685e9a6 build(deps): upda

✂ Note

PR body was truncated to here.

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.