Stream: Coq devs & plugin devs

Topic: GitLab ci connection issue


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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: Feb 06 2023 at 19:03 UTC