Re: CI setup

[Bruno Haible via Bug reports for the GNU Internet utilities]

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