Stream: math-comp analysis

Topic: CI curl errors

view this post on Zulip Reynald Affeldt (Dec 27 2021 at 08:50):

I've been observing CI errors mentioning curl about elpi or hierarchy-builder such as

  Error:  The sources of the following couldn't be obtained, aborting:
            - coq-hierarchy-builder.1.2.0: Curl failed

E.g.: https://github.com/math-comp/analysis/runs/4640590609?check_suite_focus=true

Not all of them disappear when replaying the CI. Does anyone has a clue?

view this post on Zulip Karl Palmskog (Dec 27 2021 at 10:39):

looks like some problem with downloading of files from GitHub, will probably disappear in a few days at most. Once we get Coq Platform Docker images in CI, more packages will come preinstalled.

view this post on Zulip Reynald Affeldt (Dec 27 2021 at 10:41):

Thank you for the information!

Last updated: Sep 26 2023 at 13:01 UTC