On Thu, 30 Nov 2023 18:54:42 GMT, Phil Race <p...@openjdk.org> wrote:
> It will test that it builds, but nothing more. Right, thanks. Still useful it's not breaking a build :) Besides, the settings carry forward for future PRs. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16794#issuecomment-1834411179
