add badges, for instance codecoverage #127

Open

opened

on Mar 15, 2023

https://about.codecov.io/product/feature/badges/

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests