Karl Palmskog (Apr 14 2022 at 12:00): Karl Palmskog (Apr 14 2022 at 12:00):I'm getting error messages like this in the opam archive ci today, for example here:
error: RPC failed; curl 56 OpenSSL SSL_read: Connection reset by peer, errno 104
fatal: the remote end hung up unexpectedly
fatal: early EOF
fatal: index-pack failed
Anybody know what's going on? It seems the runners can't clone GitHub repos.
Michael Soegtrop (Apr 14 2022 at 12:08):To the GitLab for Iris? I have this every now and again. It usually goes away within a day.
Karl Palmskog (Apr 14 2022 at 12:12):only for the opam archive CI, but I guess we'll see in a few hours if it's gone
Last updated: May 31 2023 at 16:01 UTC