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
Not all of them disappear when replaying the CI. Does anyone has a clue?
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.
Thank you for the information!
Last updated: Feb 05 2023 at 08:28 UTC