This article was moved to "Specifying command options in a CodeQL configuration file" on the GitHub Docs site as of January 2023.
This article was moved to "Specifying command options in a CodeQL configuration file" on the GitHub Docs site as of January 2023.