#713 aimed to publish test coverage results through Azure Pipelines, but before merging that, Azure Pipelines was disabled. 1) is there any reason _not_ to calculate the test coverage? 2) what should we use for publishing the results? Azure Pipelines, Coveralls, something else?
#713 aimed to publish test coverage results through Azure Pipelines, but before merging that, Azure Pipelines was disabled.