[Jenkins] Problem with the Jenkins host?

[sebb]

I cannot seem to connect to https://builds.apache.org/ - timing out or
giving proxy error.

No sign of any problems in Nagios - looks as though the builds host is
not being monitored; perhaps it could be?