We are moving to a brand new server infrastructure

We are moving to a brand new server infrastructure and we hope to make it in time for Christmas. Until then, the current buildbot will keep serving the currently existing cores, but there will be no updates until the transition to the new infra. Thanks for your understanding.

8 Likes