On Wed, 16 Aug 2023 15:52:09 GMT, Claes Redestad <[email protected]> wrote:
> Use most recent devkit when using jib. > > Test: staged, configured from scratch and verified micros locally This pull request has now been integrated. Changeset: c634bdf9 Author: Claes Redestad <[email protected]> URL: https://git.openjdk.org/jdk/commit/c634bdf9d917c96c38efe826239eab7900c33e74 Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod 8314444: Update jib-profiles.js to use JMH 1.37 devkit Reviewed-by: shade, mikael, erikj ------------- PR: https://git.openjdk.org/jdk/pull/15313
