|
@@ -76,7 +76,7 @@ jobs:
|
|
|
# update wiki pages
|
|
# update wiki pages
|
|
|
- name: Update wiki pages
|
|
- name: Update wiki pages
|
|
|
id: update_wiki_pages
|
|
id: update_wiki_pages
|
|
|
- run: ${{ github.action_path }}/update-wiki.sh
|
|
|
|
|
|
|
+ run: ./scripts/update-wiki.sh
|
|
|
shell: bash
|
|
shell: bash
|
|
|
env:
|
|
env:
|
|
|
WIKI_DIR: './documentation'
|
|
WIKI_DIR: './documentation'
|