Re: ci.guix.gnu.org unreachable

[Tobias Geerinckx-Rice <me@tobias.gr>]

[-- Attachment #1: Type: text/plain, Size: 1014 bytes --]

Hi Wojtek,

Wojtek Kosior via 写道：
> Today various Guix commands started showing me
>
>     substitute: guix substitute: warning: ci.guix.gnu.org: 
>     connection failed: No route to host
>
> Indeed ci.guix.gnu.org's IP, 141.80.181.40, is not 
> accessible. Also
> when trying to connect through Tor.
>
> Anybody knows what might be wrong?

Berlin, the server hosting guix.gnu.org, issues.guix.gnu.org, and 
ci.guix.gnu.org, was down for planned maintenance (not by us).

Some nice steps were taken today to keep guix.gnu.org up despite 
the downtime, for the first time ever.

Next time we can add a status update to the home page. 
Eventually, maybe even add some kind of server status report 
facility to the ‘guix command’:

  substitute: guix substitute: ci.guix.gnu.org reports: Down for 
  scheduled maintenance.

Or maybe not.

Anyway, this maintenance window has successfully been closed, and 
ci.guix is serving tasty toots once again.

Kind regards,

T G-R

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 247 bytes --]