Skip to content

Dedupe the names bookkeeping in pyrefly coverage - #4252

Open
jorenham wants to merge 1 commit into
facebook:mainfrom
jorenham:coverage/dedupe-`names`-bookkeeping
Open

Dedupe the names bookkeeping in pyrefly coverage#4252
jorenham wants to merge 1 commit into
facebook:mainfrom
jorenham:coverage/dedupe-`names`-bookkeeping

Dedupe the `names` bookkeeping in `pyrefly coverage`

5220abb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Notify Discord
succeeded Jul 22, 2026 in 5s