Re: CI setup

Bruno Haible via Bug reports for the GNU Internet utilities <[email protected]> Tue, 05 Aug 2025 11:23:48 +0200

Newsgroups	gmane.comp.gnu.inetutils.bugs
Organization	GNU
Message-ID	<4174588.oqx4rD5t72@nimes>

Simon Josefsson wrote:
> The take away is that build time should not matter

Ideally, yes. One would need to refactor this into two separately schedulable
builds...

Bruno