On Tue, 4 Feb 2025 11:12:54 GMT, Christian Stein <cstein at openjdk.org> wrote: > Anything we can do about it in this PR? I can change the action to the new one if you want. ------------- PR Comment: https://git.openjdk.org/jtreg/pull/240#issuecomment-2633658371