On Mon, 2 Jun 2025 23:09:11 GMT, Erik Joelsson <erikj at openjdk.org> wrote: > I think this looks good, but please wait for GHA to finish. Sure, won't integrate it until GHA finished ------------- PR Comment: https://git.openjdk.org/skara/pull/1721#issuecomment-2932824405