On Mon, 12 May 2025 15:09:10 GMT, Mikael Vidstedt <mik...@openjdk.org> wrote:
>> The DEVKIT_HOME environment variable gets set up in jib-profiles.js but the >> last use of it was removed in >> [JDK-8264805](https://bugs.openjdk.org/browse/JDK-8264805). >> >> Testing: tier1,builds-tier[2-5] > > Mikael Vidstedt has updated the pull request incrementally with one > additional commit since the last revision: > > Remove accidentally added server.log files Thank you for the review! ------------- PR Comment: https://git.openjdk.org/jdk/pull/25159#issuecomment-2873230233