Skip to content

chore: add a github page with coverage stats & shields.io coverage badge#630

Merged
kanarus merged 21 commits intomainfrom
chore/coverage
Feb 21, 2026
Merged

chore: add a github page with coverage stats & shields.io coverage badge#630
kanarus merged 21 commits intomainfrom
chore/coverage

Conversation

@kanarus
Copy link
Member

@kanarus kanarus commented Feb 21, 2026

@kanarus kanarus merged commit 17628e4 into main Feb 21, 2026
15 checks passed
@kanarus kanarus deleted the chore/coverage branch February 21, 2026 20:11
@onihilist
Copy link
Contributor

Nice !

@kanarus
Copy link
Member Author

kanarus commented Feb 21, 2026

@onihilist Successfully deployed ! :

@onihilist
Copy link
Contributor

That's so nice !

We can also add the badge on the README :

<a href="https://ohkami.rs/ohkami/coverage/">
    <img src="https://img.shields.io/endpoint?url=https://ohkami.rs/ohkami/coverage_badge.json" alt="Coverage">
  </a>

@kanarus
Copy link
Member Author

kanarus commented Feb 21, 2026

Could you submit a PR for that as planed ?

@kanarus kanarus added the docs Improvements or additions to documentation label Feb 21, 2026
@kanarus kanarus added the chore Maintenance work, without modifying implementations or docs label Feb 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance work, without modifying implementations or docs docs Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants