Retrieving the total coverage percentage from the report on coveralls.io is the most correct way to proceed, but it involves an extra curl query and the associated processing of possible failures, delay, retry, etc.
Introducing a way to calculate the total coverage locally would be more robust.
Retrieving the total coverage percentage from the report on coveralls.io is the most correct way to proceed, but it involves an extra curl query and the associated processing of possible failures, delay, retry, etc.
Introducing a way to calculate the total coverage locally would be more robust.