Skip to content

ci: switched to source-based coverage#192

Merged
ErikBjare merged 2 commits intomasterfrom dev/source-based-coverageNov 26, 2020