It’s really hard to find armv6l/armv7l (32bit Raspberry Pi) native build servers/slaves. @scaleway is it I guess (but limited to 2GB ram.)