5 | | For more context, the follow-up ticket to this would be #3385, which will attempt to use [[https://coveralls.io|coveralls.io]] for code coverage checks. We are not entirely satisfied with [[https://codecov.io|codecov.io]], which we currently use. For example, it is not always clear why codecov checks turn disapprove of certain PRs, even when test coverage remains unchanged. |
| 5 | For more context, the follow-up ticket to this would be #3385, which will attempt to use [[https://coveralls.io|coveralls.io]] for code coverage checks. We are not entirely satisfied with [[https://codecov.io|codecov.io]], which we currently use. For example, it is not always clear why codecov checks turn red/disapprove of certain PRs, even when test coverage remains unchanged. |