Status of build servers