File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -42,15 +42,18 @@ jobs:
4242 - name : Query help to markdown
4343 run : |
4444 PATH="$PATH:codeql-cli/codeql" python codeql/docs/language/query-help-markdown.py
45- - name : Run Sphinx for query help
46- uses : ammaraskar/sphinx-action@master
47- with :
48- docs-folder : " query-help/"
49- pre-build-command : " python -m pip install --upgrade recommonmark"
50- build-command : " sphinx-build -b html . _build"
51- - name : Check docs folder postscript
52- working-directory : ' ${{ github.workspace }}/query-help/_build '
45+ # - name: Run Sphinx for query help
46+ # uses: ammaraskar/sphinx-action@master
47+ # with:
48+ # docs-folder: "query-help/"
49+ # pre-build-command: "python -m pip install --upgrade recommonmark"
50+ # build-command: "sphinx-build -b html . _build"
51+ - name : Check docs folder postscript 1
52+ working-directory : ' ${{ github.workspace }}/query-help'
5353 run : ls -la
54+ # - name: Check docs folder postscript 2
55+ # working-directory: '${{ github.workspace }}/query-help/_build'
56+ # run: ls -la
5457 # - name: Upload HTML artifacts
5558 # uses: actions/upload-artifact@v2
5659 # with:
You can’t perform that action at this time.
0 commit comments