On Mon, 8 Jul 2024 14:26:29 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote: > Hi Severin, sure ! I put it into our build/test setup . Thanks! ------------- PR Comment: https://git.openjdk.org/jdk/pull/20076#issuecomment-2214368557