Hi Giovanni,
>>>> I think my specific problem is caused by the "Gateway Timeout" error >>>> from ci.guix.info, see below for details >>> >>> I cannot reproduce this. > > do you mean you are able to reach https://ci.guix.info/ without > problems? Yes. I can still access it without problems with a browser. I can also access https://berlin.guixsd.org just fine. Curl gives me the same kind of error, though: --8<---------------cut here---------------start------------->8--- $ curl -I https://ci.guix.info/ HTTP/2 405 server: nginx date: Thu, 21 Feb 2019 18:26:49 GMT x-cache: Error from cloudfront via: 1.1 e83e50311ef72f016908ba58ad2e6bd8.cloudfront.net (CloudFront) x-amz-cf-id: EeV0rybaav9_GfKT4ufwCu5orDNAlV6v11fUV_OEzze_UsjnlP2VvQ== --8<---------------cut here---------------end--------------->8--- I don’t know what this means. -- Ricardo