fix(deps): update dependency fr.inria.gforge.spoon:spoon-core to v10.4.2

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
fr.inria.gforge.spoon:spoon-core (source)	10.4.1 -> 10.4.2

---

Release Notes

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

v10.4.2

Compare Source

Changelog

🐛 Fixes

• a1c2975 fix(deps): update dependency tools.aqua:z3-turnkey to v4.12.2.1 (#​5488)
• 30c6186 fix: Use CtSuperAccess when implicitly accessing superclass field (#​5406)
• 3370138 fix(deps): update dependency commons-io:commons-io to v2.14.0 (#​5479)
• e777ea7 fix: Subtyping relationships for arrays (#​5466)
• ac76933 fix: Fixing regression in CtQueryImpl caused by lambda names in Java 21 (#​5469)
• adedea9 fix: replace Infinity and NaN in reflection model with divisions (#​5445)
• c2a8880 fix(deps): update dependency org.apache.commons:commons-compress to v1.24.0 (#​5441)
• aa741f2 fix(deps): update dependency fr.inria.gforge.spoon:spoon-core to v10.4.1 (#​5439)
• 30dadf1 fix: Keep implicit status for more implicit enclosing class references (#​5425)

🔄️ Changes

• a8233ad refactor: Use prebuilt z3 package/binary (#​5482)
• e311c3d refactor: Apply the @Nullable annotation to spoon.support (#​5456)
• b86ef72 refactor: adopt jspecify to spoon.support.compiler (#​5422)

🧰 Tasks

• 53ef15f chore(deps): update determinatesystems/nix-installer-action action to v5 (#​5484)
• f8aefd5 chore(deps): update ossf/scorecard-action action to v2.3.0 (#​5489)
• 73f08b5 chore(deps): update mockito monorepo to v5.6.0 (#​5487)
• 7e4a82c chore(deps): update github/codeql-action action to v2.22.0 (#​5486)
• 9a9ade9 chore(deps): update github/codeql-action digest to 2cb752a (#​5485)
• a267a0d chore(deps): update dependency gradle to v8.4 (#​5483)
• af5f2c5 chore: Switch to oracle JDK 21 in CI until nixpkgs catches up (#​5468)
• 4321881 chore(deps): update step-security/harden-runner action to v2.6.0 (#​5481)
• 812947f chore(deps): lock file maintenance (#​5480)
• b2d7d01 chore(deps): update github/codeql-action action to v2.21.9 (#​5474)
• 4fe1ed4 chore(deps): update github/codeql-action digest to ddccb87 (#​5473)
• 412529b chore(deps): update dependency com.mycila:license-maven-plugin to v4.3 (#​5472)
• 0c78369 chore(deps): lock file maintenance (#​5470)
• b9b890d chore: enable lockfile automerge (#​5471)
• 3baf672 chore: enable renovate lockfile maintenance for nix (#​5467)
• 02c9e04 chore(deps): update actions/checkout action to v4.1.0 (#​5464)
• f7fc10f chore(deps): update actions/checkout digest to 8ade135 (#​5463)
• fb4a6fa chore(deps): update actions/setup-java action to v3.13.0 (#​5460)
• c1a6cab chore(deps): update github/codeql-action action to v2.21.8 (#​5458)
• 0344e50 chore(deps): update github/codeql-action digest to 6a28655 (#​5457)
• e72319c chore: fix regression testing pipeline (#​5450)
• 45b8c41 chore(deps): update dependency org.apache.maven.plugins:maven-javadoc-plugin to v3.6.0 (#​5455)
• 794bf8e chore(deps): update github/codeql-action action to v2.21.7 (#​5453)
• 877cca5 chore(deps): update github/codeql-action digest to 04daf01 (#​5452)
• 09fb29b chore(deps): update dependency org.testfx:testfx-junit5 to v4.0.17 (#​5451)
• f0012af chore: Replace version range with specific version (#​5447)
• debe175 chore(deps): update github/codeql-action action to v2.21.6 (#​5449)
• 27b4a78 chore(deps): update github/codeql-action digest to 701f152 (#​5448)
• f815806 chore: Use renovate to maintain flake.lock (#​5444)
• 0d86d67 chore(deps): update actions/checkout action to v4 (#​5442)
• c9f7020 chore(deps): Update flake.lock (#​5443)
• 3c2f4c1 chore(deps): update plugin com.github.ben-manes.versions to v0.48.0 (#​5440)
• ca21053 chore(deps): update jetbrains/qodana-action action to v2023.2.6 (#​5438)
• 6af0465 chore(deps): update actions/upload-artifact action to v3.1.3 (#​5437)
• 496767f chore(deps): update actions/cache action to v3.3.2 (#​5436)
• 467fe30 chore(deps): update actions/upload-artifact digest to a8a3f3a (#​5435)
• 752b228 chore: fix renovate config (#​5421)
• 75584ab chore: Use workflow token with permissions for automerge (#​5432)
• 67c429f chore: update regression script (#​5418)

---

• 066f4cf release: Releasing version 10.4.2
• 2fe3587 document the CI pipeline (#​5415)
• 0a36d02 doc(Environment): replace space indentation with tab (#​5434)
• 84dc692 doc: add last releases (#​5423)
• 6177cde Revert "fix(deps): update dependency org.apache.maven:maven-model to v3.9.4" (#​5419)
• c18a84d release: Setting SNAPSHOT version 10.4.2-SNAPSHOT

Contributors

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

• Hannes Greule (@​SirYwell)
• I-Al-Istannen (@​I-Al-Istannen)
• Martin Monperrus (@​monperrus)
• Martin Wittlinger (@​MartinWitt)
• Ryota Hiyoshi (@​tenax66)
• The Spoon Bot ()
• intrigus-lgtm (@​intrigus-lgtm)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ 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 has been generated by Mend Renovate. View repository job log here.