Docker Hub is supposed to start enforcing new rate limits in November for anonymous pulls.
This could become a problem for use in CI.
Let me and @Erik Martin-Dorel know if you encounter such issues in the upcoming days.
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: Jun 03 2023 at 15:31 UTC