Skip to content

Commit

Permalink
Merge pull request #881 from github/edoardo/respect-env
Browse files Browse the repository at this point in the history 
Respect extra options in a few `codeql` calls
  • Loading branch information
@edoardopirovano
edoardopirovano committed Jan 21, 2022
2 parents d76304c + 14b4839 commit fdb92bb
Show file tree
Hide file tree
Showing 3 changed files with 17 additions and 3 deletions.
9 changes: 8 additions & 1 deletion lib/codeql.js
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit fdb92bb

Please sign in to comment.