Android coverage dashboard (#6163)

Commit

5 years ago

Android coverage dashboard (#6163) * Write the report to a file. * Post code coverage to the Dashboard database.