hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

rebase on rc/1.26 branch

Browse Source
This commit is contained in:
james
2020-11-20 10:07:48 +00:00
parent f2b177413a
commit f5ae00865f
13 changed files with 93 additions and 86 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/generate-query-help-docs.yml vendored
View File

@@ -8,7 +8,7 @@ on:
- 'lgtm.com'
pull_request:
paths:
- 'docs/language/query-help/**'
- 'docs/codeql/query-help/**'
jobs:
build:
@@ -38,10 +38,10 @@ jobs:
run: unzip -d codeql-cli codeql-linux64.zip
- name: Set up query help docs folder
run: |
cp -r codeql/docs/language/query-help/ . ; cp -r codeql/docs/language/global-sphinx-files/ .
cp -r codeql/docs/codeql/** .
- name: Query help to markdown
run: |
PATH="$PATH:codeql-cli/codeql" python codeql/docs/language/query-help-markdown.py
PATH="$PATH:codeql-cli/codeql" python codeql/docs/codeql/query-help-markdown.py
- name: Run Sphinx for query help
uses: ammaraskar/sphinx-action@master
with: