Stream: Coq devs & plugin devs

Topic: Docker limits


view this post on Zulip Jason Gross (Nov 18 2020 at 13:23):

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

view this post on Zulip Jason Gross (Nov 18 2020 at 13:23):

?

view this post on Zulip Théo Zimmermann (Nov 18 2020 at 16:19):

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.

view this post on Zulip Théo Zimmermann (Nov 18 2020 at 16:19):

Note that Coq's own CI is not impacted at all because it uses GitLab's Docker registry.

view this post on Zulip Théo Zimmermann (Nov 18 2020 at 16:20):

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