Hi Christophe,

On Tue, Jan 03, 2023 at 06:29:30PM +0100, Christophe Lyon wrote:
> Actually we have:
> armhf-ubuntu20_04 and armhf-ubuntu22_04 to build GDB and
> ubuntu22_04-armhf to build GCC
> 
> The containers we use to build GDB have less cores than the ones we
> use for GCC. If we add binutils builders on the same workers as GDB,
> will they cooperate nicely (as in "do not compete for CPU", ie. be
> scheduled at different times)?
> 
> If yes, maybe it makes sense to add binutils builders to:
> armhf-ubuntu20_04
> armhf-ubuntu22_04
> arm64-ubuntu20_04
> arm64-ubuntu22_04
> 
> WDYT?

That makes sense. Yes, they will cooperate nicely because the workers
all have max_builds=1. So if there are multiple builds that could use
the same worker they will just wait in the pending queue.

I'll push the following to try the new builders.

Thanks,

Mark