On Sat, 28 Jun 2025 20:23:01 GMT, Marcus Hirt <hirt at openjdk.org> wrote: > Alternative solution. With #658 it is clear that the failure is CI-related, and unrelated to this change. ------------- PR Comment: https://git.openjdk.org/jmc/pull/657#issuecomment-3034932102