Ok, It would be nice to know if the build server is down, or is having maintenance.
If I know it's down or very slow I can go and do something better with my time (watch masterchef )
So tonight for instance (02/04/2018), failed to build, lost connection & restored connection only to 'failed to build, for the last 3 hours.
Cheers
By the way, great product, can't wait till the new runtime.