Stream: Coq devs & plugin devs

Topic: CI issues downloading from https://coq.inria.fr/opam

view this post on Zulip Michael Soegtrop (Oct 20 2021 at 09:29):

Since yesterday I am having issues downloading (https://coq.inria.fr/opam/released/index.tar.gz) - the failure rate is about 10..20%. Also accessing the file in the browser randomly fails and works.

Any idea what this might be?

view this post on Zulip Théo Zimmermann (Oct 23 2021 at 11:23):

Being discussed at: https://github.com/coq/coq/issues/15060

Last updated: Oct 13 2024 at 01:02 UTC