Hello, I'd like to introduce test coverage metrics of PRs using https://codecov.io/. This tool will aggregate coverage reports across multiple runs, platforms and technologies and gives contributors as well as reviewers a new tool that allows to improve the quality of a pull request.
Since we need to gather some data first, I'd like to request merging https://github.com/apache/incubator-mxnet/pull/11344. This will enable publishing the coverage data to the service and have no impact on your PRs - it will just allow me to assess the quality of the service in the background while I come up with a full integration design. My initial plan is to start with coverage across Python and C++ and then, with the help of our community, extend the report across all our supported languages. Does anybody object to having us gather this data in the background? Best regards, Marco