On Wed, 12 Oct 2022 11:05:43 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> It is a trivial addition to our GHA scripts to allow the user to trigger a > manual run, and to provide additional arguments to `make` and `configure` for > that run. (Not all arguments will succeed though, if it conflicts with the > GHA setup.) But it is an easy way to test some specific ways of building. Looks okay to me. ------------- Marked as reviewed by shade (Reviewer). PR: https://git.openjdk.org/jdk/pull/10673
