ci.guix.gnu.org unreachable

[Wojtek Kosior]

Today various Guix commands started showing me

    substitute: guix substitute: warning: ci.guix.gnu.org: connection failed: 
No route to host

Indeed ci.guix.gnu.org's IP, 141.80.181.40, is not accessible. Also
when trying to connect through Tor.

Anybody knows what might be wrong?

Wojtek

-- (sig_start)
website: https://koszko.org/koszko.html
PGP: https://koszko.org/key.gpg
fingerprint: E972 7060 E3C5 637C 8A4F  4B42 4BC5 221C 5A79 FD1A

Meet Kraków saints!           #22: saint Kinga
Poznaj świętych krakowskich!  #22: święta Kinga
https://pl.wikipedia.org/wiki/Święta_Kinga
-- (sig_end)

pgpo3CMMVh8Nd.pgp
Description: OpenPGP digital signature