deps: update dependency org.graalvm.buildtools:junit-platform-native to v0.9.13

[renovate-bot]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
org.graalvm.buildtools:junit-platform-native	0.9.12 -> 0.9.13

---

Release Notes

graalvm/native-build-tools

v0.9.13

Compare Source

What's Changed

Read what's new in the documentation.

• Restore NativeImagePlugin.NATIVE_TEST_EXTENSION by @​lazar-mitrovic in https://github.com/graalvm/native-build-tools/pull/256
• Fix JUnit annotation scanning during the image build by @​gradinac in https://github.com/graalvm/native-build-tools/pull/258
• Change reachability metadata fallback path by @​lazar-mitrovic in https://github.com/graalvm/native-build-tools/pull/257
• Add a DSL option that enables the native-image agent by @​gradinac in https://github.com/graalvm/native-build-tools/pull/263
• Bump dependency versions by @​lazar-mitrovic in https://github.com/graalvm/native-build-tools/pull/264
• Rename jvm-reachability-metadata -> graalvm-reachability-metadata by @​melix in https://github.com/graalvm/native-build-tools/pull/265
• Final PR for the metadata repo by @​vjovanov in https://github.com/graalvm/native-build-tools/pull/266

New Contributors

• @​vjovanov made their first contribution in https://github.com/graalvm/native-build-tools/pull/266

Full Changelog: graalvm/native-build-tools@0.9.12...0.9.13

---

Configuration

📅 Schedule: 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, click this checkbox.

---

This PR has been generated by Mend Renovate. View repository job log here.

[gcf-merge-on-green]

Merge-on-green attempted to merge your PR for 6 hours, but it was not mergeable because either one of your required status checks failed, one of your required reviews was not approved, or there is a do not merge label. Learn more about your required status checks here: https://help.github.com/en/github/administering-a-repository/enabling-required-status-checks. You can remove and reapply the label to re-run the bot.