Skip to content

Rust: Don't apply generated models for functions that have a manual model#21036

Merged
paldepind merged 4 commits intogithub:mainfrom
paldepind:rust/prioritize-manual-summaries
Dec 16, 2025
Merged

Rust: Don't apply generated models for functions that have a manual model#21036
paldepind merged 4 commits intogithub:mainfrom
paldepind:rust/prioritize-manual-summaries

Commits

Commits on Dec 16, 2025