Skip to content

Make pyrefly error on unused ignore comments - #1898

Merged
adamtheturtle merged 1 commit into
mainfrom
unused-ignore-error
Sep 7, 2026
Merged

adamtheturtle merged 1 commit into
mainfrom
unused-ignore-error