Skip to content

Enable reportUnnecessaryTypeIgnoreComment in basedpyright#1395

Merged
nathanjmcdougall merged 1 commit intomainfrom
1336-enable-reportunnecessarytypeignorecomment-in-basedpyright
Mar 12, 2026
Merged

Enable reportUnnecessaryTypeIgnoreComment in basedpyright#1395
nathanjmcdougall merged 1 commit intomainfrom
1336-enable-reportunnecessarytypeignorecomment-in-basedpyright

Commits

Commits on Mar 12, 2026