Deleted some obsolete coverage config