The badges job failed because the checkout step didn't include the REPO_TOKEN secret, so git push to the badges branch had no credentials. Generated with [Devin](https://devin.ai) Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>