mirror of
https://github.com/github/codeql.git
synced 2026-06-29 16:47:09 +02:00
Use the PrettyPrintModels postprocess so the test reports a stable per-test model index instead of a brittle global MaD number that drifts when models are added elsewhere. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>