ruff
[red-knot] Remove duplicates from KNOWN_FAILURES
#14386

Merged

[red-knot] Remove duplicates from KNOWN_FAILURES #14386

sharkdp merged 1 commit into main from david/corpus-remove-duplicates

[red-knot] Remove duplicates from KNOWN_FAILURES

8a08a8b5

sharkdp added internal

sharkdp added ty

sharkdp requested a review from

carljm 307 days ago

sharkdp requested a review from

MichaReiser 307 days ago

sharkdp requested a review from

AlexWaygood 307 days ago

AlexWaygood approved these changes on 2024-11-16

sharkdp merged 4dcb7dda into main 306 days ago

sharkdp deleted the david/corpus-remove-duplicates branch 306 days ago

Reviewers

AlexWaygood

carljm

MichaReiser

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone