Zalathar a573880373 coverage: Rename the run-coverage test mode to coverage-run ...

This makes it more consistent with the `coverage-map` mode and the shared
`tests/coverage` test directory.

2023-11-08 16:41:24 +11:00

..

auxiliary

…

doctest.coverage

…

doctest.rs

…