Subject: bug#41549: ! Can't ping ci.guix.gnu.org anymore

From: zimoun <[email-masked]>
Date: Tue, 26 May 2020 23:39:26 +0200

Dear,

On Tue, 26 May 2020 at 23:20, Léon Lain Delysid
<[email-masked]> wrote:

> While executing a "guix pull", I got network errors. Turns out ci.guix.gnu.org does not respond to ping requests anymore from where I'm connecting (be it my home connection in Lyon France, my VPN tunnel's end in Sweden, or my dedicated server in Paris France).

It seems that ci.guix.gnu.org is down.  Maintenance not smooth as expected.
Well, it starts here [1] and then follows up.

[1] http://logs.guix.gnu.org/guix/2020-05-26.log#165323

All the best,
simon