ci: retry the coverage badge push

[kevincostner17]

Summary

Since #395, non-PR CI runs are grouped per commit, so when PRs are merged back to back, the coverage-badge job runs for several commits at once. Its force push to the badges branch failed once, transiently, during such a burst (run 34958472308, commit b69b22c), and that turned main red. Every run since has passed.

The push step now retries up to 4 times, waiting 10 s, 20 s and 30 s between attempts. If all attempts fail, it prints a warning annotation and still exits non-zero, so real failures stay visible. Nothing else changes: the job still pushes a single coverage.json to badges with --force.

Verification

• ci.yml parses as YAML, and the edited step passes bash -n.
• pytest tests/test_phase5_backcompat.py tests/test_testpypi_workflow.py: 20 passed.

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Advanced

Run ID: 4f2c8ae3-d9dc-4698-9241-1181b9605d15

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}