Stream: coq-community devs & users

Topic: DockerHub anonymous pull rate limits

view this post on Zulip Théo Zimmermann (Nov 01 2020 at 10:49):

Hello all,

view this post on Zulip Théo Zimmermann (Nov 01 2020 at 10:49):

Docker Hub is supposed to start enforcing new rate limits in November for anonymous pulls.

view this post on Zulip Théo Zimmermann (Nov 01 2020 at 10:50):

This could become a problem for use in CI.

view this post on Zulip Théo Zimmermann (Nov 01 2020 at 10:50):

Let me and @Erik Martin-Dorel know if you encounter such issues in the upcoming days.

view this post on Zulip Théo Zimmermann (Nov 01 2020 at 10:52):

We could cross-publish the Docker images to the GitHub Docker registry and update the default image location for Docker-Coq-Action if it turns out to be a problem.

Last updated: Feb 05 2023 at 14:02 UTC