ruff
[red-knot] add TODO comment in specialization code
#17615
Merged

[red-knot] add TODO comment in specialization code #17615

carljm merged 1 commit into main from cjm/addcomment
carljm
carljm [red-knot] add TODO comment in specialization code
271dc143
carljm carljm added ty
carljm carljm requested a review from AlexWaygood AlexWaygood 280 days ago
carljm carljm requested a review from sharkdp sharkdp 280 days ago
carljm carljm requested a review from dcreager dcreager 280 days ago
carljm carljm removed review request from sharkdp sharkdp 280 days ago
carljm carljm removed review request from AlexWaygood AlexWaygood 280 days ago
github-actions
dcreager
dcreager approved these changes on 2025-04-24
carljm carljm merged ef034318 into main 280 days ago
carljm carljm deleted the cjm/addcomment branch 280 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone