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. This pull request has now been integrated. Changeset: 760a260f Author: Magnus Ihse Bursie <i...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/760a260fbbe733a76c18e4d630999c94ac8cfe63 Stats: 60 lines in 5 files changed: 52 ins; 0 del; 8 mod 8295213: Run GHA manually with user-specified make and configure arguments Reviewed-by: shade ------------- PR: https://git.openjdk.org/jdk/pull/10673
