Commit 14b4839
committed
Respect extra options in a few
codeql calls1 parent d76304c commit 14b4839
3 files changed
Lines changed: 17 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments