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

add sphinx step

Browse Source
This commit is contained in:
james
2020-10-28 13:33:40 +00:00
parent 2383960e0d
commit 27f52851ca
1 changed files with 9 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -39,24 +39,21 @@ jobs:
- name: Set up query help docs folder
run: |
mkdir query-help ; cp -r codeql/docs/language/query-help/ .
- name: Check docs folder prescript
working-directory: '${{ github.workspace }}/query-help'
run: ls -la
- name: Query help to markdown
run: |
PATH="$PATH:codeql-cli/codeql" python codeql/docs/language/query-help-markdown.py
- name: Run Sphinx for query help
uses: ammaraskar/sphinx-action@master
with:
docs-folder: "query-help/"
pre-build-command: "python -m pip install --upgrade recommonmark"
build-command: "sphinx-build -b html . _build"
- name: Check docs folder postscript
working-directory: '${{ github.workspace }}/query-help'
run: ls -la
#- name: Run Sphinx for query help
# uses: ammaraskar/sphinx-action@master
# with:
# docs-folder: "codeql/docs/language/query-help/"
# pre-build-command: "python -m pip install --upgrade recommonmark"
# build-command: "sphinx-build -b html . query-help-build"
working-directory: '${{ github.workspace }}/query-help/_build'
run: ls -la
#- name: Upload HTML artifacts
# uses: actions/upload-artifact@v2
# with:
# name: query-help-html
# path: query-help
# path: query-help/_build