Integrated: 8277427: Update jib-profiles.js to use JMH 1.33 devkit
Claes Redestad
redestad at openjdk.java.net
Fri Nov 19 13:29:44 UTC 2021
On Fri, 19 Nov 2021 01:20:43 GMT, Claes Redestad <redestad at openjdk.org> wrote:
> Use most recent devkit.
>
> Testing: staged devkit, built and verified micros locally
This pull request has now been integrated.
Changeset: b1a1bf4e
Author: Claes Redestad <redestad at openjdk.org>
URL: https://git.openjdk.java.net/jdk/commit/b1a1bf4e305d6675f8f751aa8fef7013d99466f1
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
8277427: Update jib-profiles.js to use JMH 1.33 devkit
Reviewed-by: shade, erikj
-------------
PR: https://git.openjdk.java.net/jdk/pull/6468
More information about the build-dev
mailing list