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
charliermarsh charliermarsh marked this pull request as draft 1 year ago
charliermarsh Allow types.ruff.rs for red-knot playground
ac4f9ec6
charliermarsh charliermarsh force pushed from 1625d1eb to ac4f9ec6 1 year ago
charliermarsh charliermarsh requested a review from MichaReiser MichaReiser 1 year ago
AlexWaygood AlexWaygood added playground
AlexWaygood AlexWaygood added ty
MichaReiser
MichaReiser approved these changes on 2025-04-11
charliermarsh charliermarsh marked this pull request as ready for review 1 year ago
charliermarsh charliermarsh merged 4bfdf54d into main 1 year ago
charliermarsh charliermarsh deleted the charlie/ty branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone