Skip to content

Add codecov badge#74

Merged
JoshuaLampert merged 2 commits intomainfrom codecovDec 7, 2023