Remove a TODO and use defautl tools option#609

aeisenberg merged 1 commit intomaingithub/codeql-action:mainfrom

aeisenberg/use-default-toolsgithub/codeql-action:aeisenberg/use-default-toolsCopy head branch name to clipboard