On Mon, 7 Apr 2025 10:02:41 GMT, Magnus Ihse Bursie <[email protected]> wrote:
> If there is something wrong with the build, the user can run "make doctor". > That is hard to do in a CI setting. Instead, if the build environment is > detected to be a CI, we should run the doctor automatically in case of a > failed build. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/24485
