Skip to content

Add workaround for coverage badge auto-update#50

Merged
EricKolibacz merged 1 commit intomainfrom 49-coverage-badge-is-not-updatingDec 23, 2022