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

[GNU bug Tracking System]

Your message dated Tue, 26 May 2020 23:55:33 +0200
with message-id <87a71u5pka.fsf@nckx>
and subject line Re: bug#41549: ! Can't ping ci.guix.gnu.org anymore
has caused the debbugs.gnu.org bug report #41549,
regarding ! Can't ping ci.guix.gnu.org anymore
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
41549: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41549
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: ! Can't ping ci.guix.gnu.org anymore Date: Tue, 26 May 2020 22:16:54 +0200

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!

--- End Message ---

--- Begin Message --- Subject: Re: bug#41549: ! Can't ping ci.guix.gnu.org anymore Date: Tue, 26 May 2020 23:55:33 +0200

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

signature.asc
Description: PGP signature

--- End Message ---