Skip to content

ci: update badge step to push to PR branch#18

Merged
corigne merged 2 commits intomainfrom
ci/fix/badge-pr
Apr 5, 2026
Merged

ci: update badge step to push to PR branch#18
corigne merged 2 commits intomainfrom
ci/fix/badge-pr

Conversation

@corigne
Copy link
Copy Markdown
Owner

@corigne corigne commented Apr 5, 2026

Change CI to update README badge by committing to the PR branch instead of pushing to main. This lets badge updates be reviewed and merged with the PR.

corigne and others added 2 commits April 5, 2026 10:12
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@corigne corigne merged commit bd6102e into main Apr 5, 2026
@corigne corigne deleted the ci/fix/badge-pr branch April 5, 2026 14:17
corigne added a commit that referenced this pull request Apr 7, 2026
* ci: update workflow to commit badge changes to PR branch


* ci(badge): update coverage badge

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
corigne added a commit that referenced this pull request Apr 7, 2026
* ci: update workflow to commit badge changes to PR branch

* ci(badge): update coverage badge
corigne added a commit that referenced this pull request Apr 7, 2026
* update workflow to commit badge changes to PR branch

* ci(badge): update coverage badge
---------
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant