robojerk/codeql-action

Merge main into check-api-version.

Browse source
This commit is contained in:
Chris Gavin 2020-11-02 09:02:05 +00:00
commit 5e2fa08dae
No known key found for this signature in database
GPG key ID: 07F950B80C27E4DA
8 changed files with 19 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/codeql.ts
View file

@ -612,6 +612,7 @@ function getCodeQLForCmd(cmd: string): CodeQL {
memoryFlag,
threadsFlag,
databasePath,
"--min-disk-free=1024", // Try to leave at least 1GB free
"--format=sarif-latest",
`--output=${sarifFile}`,
addSnippetsFlag,