Add section about using the API to download dbs

This commit is contained in:
james
2022-09-09 15:40:10 +01:00
parent faf1d0a5d9
commit fc86347b0f
5 changed files with 19 additions and 41 deletions

View File

@@ -37,6 +37,8 @@ If you have a CodeQL database saved locally, as an unarchived folder or as a ZIP
For more information about running query tests, see ":ref:`Testing custom queries <testing-custom-queries>`" in the CodeQL CLI help.
.. include:: ../reusables/download-github-database.rst
Running a query
------------------------