On Tue, 27 Feb 2024 00:21:38 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Use `make` to build the repo This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/doccheck/pull/6