Broken coverage
The coverage report is now disabled, because cargo coverage
doesn't work well inside a workspace. Make it work again somehow.
The coverage report is now disabled, because cargo coverage
doesn't work well inside a workspace. Make it work again somehow.