Rust: Regenerate generated models#20689

paldepind wants to merge 1 commit intogithub:maingithub/codeql:mainfrom

paldepind:rust/regenerate-models-2paldepind/codeql:rust/regenerate-models-2Copy head branch name to clipboard