mirror of
https://github.com/github/codeql.git
synced 2026-05-01 19:55:15 +02:00
Models are regenerated with the fix from https://github.com/github/codeql/pull/19744 which corrects the order of generation.
Models are regenerated with the fix from https://github.com/github/codeql/pull/19744 which corrects the order of generation.