robojerk/codeql-action

Merge pull request #284 from github/daverlo/min-disk-free

Browse source 
Add min disk free flag to database analyze:
This commit is contained in:
David Verdeguer 2020-10-30 16:17:54 +01:00 • committed by GitHub
commit f0c568a42f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
lib/codeql.js generated
View file

@ -399,6 +399,7 @@ function getCodeQLForCmd(cmd) {
memoryFlag,
threadsFlag,
databasePath,
"--min-disk-free=1024",
"--format=sarif-latest",
`--output=${sarifFile}`,
addSnippetsFlag,

2
lib/codeql.js.map
View file

File diff suppressed because one or more lines are too long

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,