Re-run coverage tests if coverage-dump was modified
#130256
Merged
coverage-dump was modified
#130256