mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
Now that we no longer support the fallback option (https://github.com/github/codeql/pull/16127)
Now that we no longer support the fallback option (https://github.com/github/codeql/pull/16127)