mirror of
https://github.com/github/codeql.git
synced 2026-05-02 04:05:14 +02:00
fix working directory
This commit is contained in:
@@ -38,7 +38,7 @@ jobs:
|
||||
run: unzip -d codeql-cli codeql-linux64.zip
|
||||
- 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 query-help-markdown.py
|
||||
working-directory: 'codeql/docs/language/'
|
||||
- name: Build site assets
|
||||
working-directory: '${{ github.workspace }}/codeql/docs/language'
|
||||
|
||||
@@ -186,7 +186,7 @@ for lang in languages:
|
||||
index_file_dictionary[query_name_meta] = lang + "/" + query_name
|
||||
|
||||
# Make paths for output of the form: query-help-markdown/<lang>/<queryfile>.md
|
||||
docs_dir = 'codeql/docs/language/query-help'
|
||||
docs_dir = 'query-help'
|
||||
md_dir_path = os.path.join(docs_dir, lang)
|
||||
md_file_path = os.path.join(md_dir_path, query_name + ".md")
|
||||
|
||||
|
||||
Reference in New Issue
Block a user