You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: