Exclude deleted names in pyrefly coverage report#3579

jorenham wants to merge 1 commit into

facebook:mainfacebook/pyrefly:mainfrom

jorenham:gh-3576jorenham/pyrefly:gh-3576Copy head branch name to clipboard