Merge branch 'main' into robertbrignull/tools_version

This commit is contained in:
Robert 2020-11-18 11:25:46 +00:00
commit 0d960df08a
7 changed files with 9 additions and 7 deletions

View file

@ -618,6 +618,7 @@ function getCodeQLForCmd(cmd: string): CodeQL {
databasePath,
"--min-disk-free=1024", // Try to leave at least 1GB free
"--format=sarif-latest",
"--sarif-multicause-markdown",
`--output=${sarifFile}`,
addSnippetsFlag,
...getExtraOptionsFromEnv(["database", "analyze"]),