Re: [PATCH builder.git] master.cfg: add GNU poke builder

[Mark Wielaard]

Hi Mohammad-Reza,

On Wed, 2022-11-23 at 21:20 +0100, Mohammad-Reza Nabipoor wrote:
> On Wed, Nov 23, 2022 at 06:44:28PM +0100, Mark Wielaard wrote:
> > Lets at least add a debian-i386 builder (as attached).
> > Please feel free to request other arches.
> 
> Thanks for these builders.
> debian-armhf is also very useful for us (because it uncovered
> lot of bugs during the release of poke 2.0).

Unfortunately the armhf workers we currently have are either based on
debian old-stable (debian-armhf) which is too old to build poke, or
reserved for building full gcc and gdb builds (ubuntu22_04-armhf and
armhf-ubuntu22_04). I'll see if I can upgrade the debian-armhf board,
but that might take some time.

Cheers,

Mark