Skip to content

Use coveralls github action instead of manual coveralls#1131

Merged
dbhatman merged 3 commits intomasterfrom dbhatman-patch-1Jan 4, 2024