Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Fixed coverage reporting #834
The coverage module introduced a backward compatibility breaking change in v4.2 (see https://coverage.readthedocs.io/en/coverage-4.2/changes.html#version-4-2-2016-07-26). This PR ensures coverage reports are combined correctly again.