Skip to content

Use Coveralls Github action#147

Merged
jan-janssen merged 3 commits intomainfrom coverallsOct 6, 2023