Man pages matching name ggcov-run in section 1:

ggcov-run.1.en

debian 11 / ggcov