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