Hi Adrian, > I can not see that, all armv7 workers are used (check the graphs at the > bottom).
All workers that are *online* are being used. we have a lot more workers that need repair right now though. Greetings, Dirk -- To unsubscribe, e-mail: [email protected] To contact the owner, e-mail: [email protected]
