ruff
[red-knot] Add argfile and windows glob path support
#16353
Merged

[red-knot] Add argfile and windows glob path support #16353

MichaReiser merged 1 commit into main from micha/argfile-wild
MichaReiser
MichaReiser [red-knot] Add argfile and windows glob path support
207b0fd5
MichaReiser MichaReiser requested a review from carljm carljm 222 days ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 222 days ago
MichaReiser MichaReiser requested a review from sharkdp sharkdp 222 days ago
MichaReiser MichaReiser added ty
github-actions
carljm
carljm approved these changes on 2025-02-24
MichaReiser MichaReiser merged fd7b3c83 into main 221 days ago
MichaReiser MichaReiser deleted the micha/argfile-wild branch 221 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone