Integrated: 8314444: Update jib-profiles.js to use JMH 1.37 devkit

Thu Aug 17 11:56:34 UTC 2023

On Wed, 16 Aug 2023 15:52:09 GMT, Claes Redestad <redestad at openjdk.org> 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 <redestad at openjdk.org>
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