robojerk/codeql-action

Merge branch 'master' into disable-default-queries

Browse source
This commit is contained in:
David Verdeguer 2020-04-30 11:12:28 +02:00 • committed by GitHub
commit 9e35ea1ac8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
12 changed files with 155 additions and 56 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lib/config-utils.js generated
View file

@ -88,7 +88,7 @@ function initConfig() {
});
}
const pathsIgnore = parsedYAML['paths-ignore'];
if (pathsIgnore && queries instanceof Array) {
if (pathsIgnore && pathsIgnore instanceof Array) {
pathsIgnore.forEach(path => {
if (typeof path === "string") {
config.pathsIgnore.push(path);