mirror of
https://github.com/github/codeql.git
synced 2026-02-01 07:42:57 +01:00
Reorder table of contents
This commit is contained in:
@@ -10,16 +10,16 @@ Learn more about the files you can use when running CodeQL processes and the res
|
||||
:hidden:
|
||||
|
||||
about-codeql-packs
|
||||
about-codeql-workspaces
|
||||
query-reference-files
|
||||
sarif-output
|
||||
exit-codes
|
||||
extractor-options
|
||||
about-codeql-workspaces
|
||||
|
||||
- :doc:`About CodeQL packs <about-codeql-packs>`: CodeQL packs are created with the CodeQL CLI and are used to create, depend on, publish, and run CodeQL queries, libraries, and query suites.
|
||||
- :doc:`About CodeQL workspaces <about-codeql-workspaces>`: CodeQL workspaces are used to group multiple CodeQL packs together.
|
||||
- :doc:`Query reference files <query-reference-files>`: A query reference file is text file that defines the location of one query to test.
|
||||
- :doc:`SARIF output <sarif-output>`: CodeQL supports SARIF as an output format for sharing static analysis results.
|
||||
- :doc:`Exit codes <exit-codes>`: The CodeQL CLI reports the status of each command it runs as an exit code.
|
||||
This exit code provides information for subsequent commands or for other tools that rely on the CodeQL CLI.
|
||||
- :doc:`Extractor options <extractor-options>`: You can customize the behavior of extractors by setting options through the CodeQL CLI.
|
||||
- :doc:`About CodeQL workspaces <about-codeql-workspaces>`: CodeQL workspaces are used to group multiple CodeQL packs together.
|
||||
|
||||
Reference in New Issue
Block a user