On Tue, 6 May 2025 11:23:01 GMT, Markus KARG <d...@openjdk.org> wrote:
> do you mean merging master branch into this branch? Yes, that's correct. That should then run the GitHub actions job against this PR against a more relevant state of this PR. Since things have settled and the CSR approved, I'll also run this PR against our CI to verify nothing fails unexpectedly. I will anyway be doing the merge against master locally before submitting for tier testing, but it's always a good practice to keep the PR updated with latest master changes, when the master branch has seen too many commits since the PR was opened. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21730#issuecomment-2854228917
