Fix coverage reporting #11
Description
Right now pipeline which reports coverage to coverall.io is broken. Need to find a good, lightweight pipeline runner and resurrect the coverage.
{{ message }}
Right now pipeline which reports coverage to coverall.io is broken. Need to find a good, lightweight pipeline runner and resurrect the coverage.