Merge remote-tracking branch 'origin/main' into mbg/improve-json-failures

This commit is contained in:
Michael B. Gale
2026-09-24 11:42:41 +01:00
18 changed files with 97 additions and 110 deletions

View File

@@ -937,6 +937,7 @@ async function getCodeQLForCmd(
"--format=json",
`--language=${language}`,
"--extractor-include-aliases",
"-J-XX:-UsePerfData",
...getExtraOptionsFromEnv(["resolve", "extractor"]),
],
{