This incident has been resolved.
During the incident, some comments and commit statuses may not have been sent as expected. Pushing a new commit to the affected branch is the best way to re-trigger analysis and coverage checks.
·