PR #19087 [ty] Adapt generate_ty_rules for MkDocs

[ty] Adapt generate_ty_rules for MkDocs #19087

sharkdp merged 1 commit into main from david/generate-rules-mkdocs

sharkdp added documentation

sharkdp requested a review from

carljm 223 days ago

sharkdp requested a review from

MichaReiser 223 days ago

sharkdp added internal

sharkdp requested a review from

AlexWaygood 223 days ago

sharkdp requested a review from

dcreager 223 days ago

sharkdp added ty

[ty] Adapt generate_ty_rules for MkDocs

983dcb9c

sharkdp force pushed from f66a2a10 to 983dcb9c 223 days ago

AlexWaygood approved these changes on 2025-07-02

sharkdp merged e599c9d0 into main 223 days ago

sharkdp deleted the david/generate-rules-mkdocs branch 223 days ago

Reviewers

AlexWaygood

carljm

MichaReiser

dcreager

Assignees

No one assigned

Labels

documentation internal ty

Milestone

No milestone