This repository was archived by the owner on Feb 27, 2023. It is now read-only.
This repository was archived by the owner on Feb 27, 2023. It is now read-only.
Investigate: Coverage stats on PRs/main commits seem wrong #480
Description
See example: #479
It looks like our coverage stats are not being generated accurately or are being processed incorrectly