PR #15081 Support file-level `type: ignore` comments

Support file-level `type: ignore` comments #15081

MichaReiser merged 1 commit into main from micha/file-level-type-ignore

MichaReiser added ty

MichaReiser commented on 2024-12-20

MichaReiser force pushed from 7af66413 to 357825ea 275 days ago

MichaReiser marked this pull request as ready for review 275 days ago

MichaReiser requested a review from

carljm 275 days ago

MichaReiser requested a review from

AlexWaygood 275 days ago

MichaReiser requested a review from

sharkdp 275 days ago

MichaReiser force pushed from 357825ea to ec700b85 274 days ago

carljm approved these changes on 2024-12-22

Base automatically changed from micha/ignore-codes to main 272 days ago

Support file-level `type: ignore` comments

788bfd2b

MichaReiser force pushed from ec700b85 to 788bfd2b 272 days ago

MichaReiser enabled auto-merge (squash) 272 days ago

MichaReiser merged 1c3d11e8 into main 272 days ago

MichaReiser deleted the micha/file-level-type-ignore branch 272 days ago

Reviewers

carljm

AlexWaygood

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone