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

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 26 May 2020 21:56:02 +0000

Your bug report

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

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
41549: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41549
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#41549: ! Can't ping ci.guix.gnu.org anymore
From: Tobias Geerinckx-Rice <[email-masked]>
To: zimoun <[email-masked]>
Cc: [email-masked],Léon Lain Delysid <[email-masked]>
Date: Tue, 26 May 2020 23:55:33 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Yep, it was down for maintenance which took longer than expected. 
It's back up now.

Kind regards,

T G-R

Subject: ! Can't ping ci.guix.gnu.org anymore
From: Léon Lain Delysid <[email-masked]>
To: [email-masked]
Date: Tue, 26 May 2020 22:16:54 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello to whichever free human being out there! =)

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).

Hope this email finds you well and helps the GNU Project prosper. =)
Awaiting your response…
Ciao!