ruff
[red-knot] mdtest usability improvements for reveal_type
#13709
Merged

[red-knot] mdtest usability improvements for reveal_type #13709

carljm merged 1 commit into main from cjm/mdtest-undefined-reveal
carljm
carljm [red-knot] mdtest usability improvements for reveal_type
07673b7a
carljm carljm added ty
carljm carljm requested a review from MichaReiser MichaReiser 1 year ago
carljm carljm requested a review from AlexWaygood AlexWaygood 1 year ago
github-actions
AlexWaygood
AlexWaygood approved these changes on 2024-10-11
carljm carljm merged 6ae833e0 into main 1 year ago
carljm carljm deleted the cjm/mdtest-undefined-reveal branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone