mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
It turns out we still need to supply this option, so `codeql` goes looking for the extractor paths specified in the `codeql-workspace.yml` file.