On Wed, 12 Oct 2022 11:05:43 GMT, Magnus Ihse Bursie 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
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 buil
