Resolved -
This incident has been resolved.
Jul 16, 00:24 UTC
Monitoring -
A fix has been implemented and we are monitoring the results.
Jul 15, 17:30 UTC
Identified -
The issue has been identified and a fix is being implemented.
Jul 15, 17:30 UTC
Investigating -
We are currently investigating this issue. Users may see significant delays in coverage notifications on pull requests
Jul 15, 17:29 UTC