chore(deps): Update build deps and github actions

[renovate]

This PR contains the following updates:

Package	Type	Update	Change	Age	Adoption	Passing	Confidence
gradle (source)		minor	8.12.1 -> 8.13
io.freefair.aggregate-javadoc-jar	plugin	patch	8.12.2 -> 8.12.2.1

---

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.

---

Release Notes

gradle/gradle (gradle)

v8.13

Compare Source

freefair/gradle-plugins (io.freefair.aggregate-javadoc-jar)

v8.12.2.1

Compare Source

What's Changed

• #​1302 fixes java fork options serialization issue and adds tmpdir to task properties by @​Frisch12 in https://github.com/freefair/gradle-plugins/pull/1313
• Bump io.freefair.settings.plugin-versions from 8.12.1 to 8.12.2 by @​dependabot in https://github.com/freefair/gradle-plugins/pull/1310
• Bump com.github.spotbugs from 6.1.5 to 6.1.6 in /examples by @​dependabot in https://github.com/freefair/gradle-plugins/pull/1314

Full Changelog: freefair/gradle-plugins@8.12.2...8.12.2.1

---

Configuration

📅 Schedule: Branch creation - "after 5pm on the 2nd day of the month" (UTC), 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.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.

---

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

---

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