All https://builder.sourceware.org buildbot workers should be up and running again. Happy (CI) building!