[crac] RFR: 8373687: [CRaC] Add metrics through jcmd [v5]

[Radim Vansa]

On Wed, 17 Dec 2025 10:20:14 GMT, Radim Vansa <rvansa at openjdk.org> wrote:

>> Enable user adding custom metrics (and labels) through jcmd JDK.checkpoint command, e.g. using
>> 
>> jcmd <pid> JDK.checkpoint metrics=foo=123,bar=0.456
>
> Radim Vansa has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fix MacOSX

Looks like the macos builds have just been made defunct - we probably will have to sync with upstream & new images:
GitHub change: https://github.com/actions/runner-images/issues/13046
Upstream JDK commit: https://github.com/openjdk/jdk/commit/1ea8cfa6dc8e6f96fd87553331abaae17ec173ea

-------------

PR Comment: https://git.openjdk.org/crac/pull/281#issuecomment-3665752461