Subject: RE: bug with command "guix pull"

From: Steve George <[email-masked]>
Date: Fri, 13 Jun 2025 22:35:57 +0100

Hi Theo,

Did you resolve this?

It looks like it struggled to connect to ci.guix.gnu.org so perhaps it was a network connection issue.

Steve / Futurile