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!