Stream: Coq devs & plugin devs

Topic: CI issues downloading from

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

Since yesterday I am having issues downloading ( - 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:

Last updated: Mar 03 2024 at 13:01 UTC