ci: reduce Docker Hub rate limit pressure#709

agentotto[bot] wants to merge 3 commits into

mainworldcoin/world-id-protocol:mainfrom

otto/fix-docker-rate-limitsworldcoin/world-id-protocol:otto/fix-docker-rate-limitsCopy head branch name to clipboard