Thanks a lot guys! I'm now running the command again and it seems to be working fine. Thumbs up!
Good night (or day) to you!

PS: By the way, I made a pastebin of the error I got: https://pastebin.com/rmH0Z1ry
It said I might have found a bug and lots of other stuff, I don't know if this will help in any way, but there you go anyhow.

On Tue, May 26, 2020, 23:55 Tobias Geerinckx-Rice <me@tobias.gr> wrote:
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