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 13 2024 at 01:02 UTC