setup.cfg: trigger coverage information reporting