Is https://www.docker.com/blog/what-you-need-to-know-about-upcoming-docker-hub-rate-limiting/ going to cause issues to Coq's CI
We wondered about this with @Erik Martin-Dorel and were ready to push Docker-Coq images to the GitHub registry as well if needed, but Nov 2nd has passed already and I've not heard any feedback of CI of Coq projects breaking.
Note that Coq's own CI is not impacted at all because it uses GitLab's Docker registry.
See also: https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users/topic/DockerHub.20anonymous.20pull.20rate.20limits
Last updated: Oct 16 2021 at 02:03 UTC