ruff
Allow types.ruff.rs for red-knot playground
#17358

Merged

Allow types.ruff.rs for red-knot playground #17358

charliermarsh merged 1 commit into main from charlie/ty

charliermarsh marked this pull request as draft 1 year ago

Allow types.ruff.rs for red-knot playground

ac4f9ec6

charliermarsh force pushed from 1625d1eb to ac4f9ec6 1 year ago

charliermarsh requested a review from

MichaReiser 1 year ago

AlexWaygood added playground

AlexWaygood added ty

MichaReiser approved these changes on 2025-04-11

charliermarsh marked this pull request as ready for review 1 year ago

charliermarsh merged 4bfdf54d into main 1 year ago

charliermarsh deleted the charlie/ty branch 1 year ago

Reviewers

MichaReiser

Assignees

No one assigned

Labels

playground ty

Milestone

No milestone