Rust: Regenerate generated models#20365

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

paldepind:rust/regenerate-modelspaldepind/codeql:rust/regenerate-modelsCopy head branch name to clipboard