Skip to content

Merge branch 'wiki_sync_parameter_md' of https://github.com/ChunYen-C… #27

Merge branch 'wiki_sync_parameter_md' of https://github.com/ChunYen-C…

Merge branch 'wiki_sync_parameter_md' of https://github.com/ChunYen-C… #27

name: Update all parameters wiki page
on:
workflow_dispatch:
push:
paths:
- 'example/test_problem/Template/Input__Parameter'
- 'tool/wiki/sync_runtime_parameter.py'
- 'src/Init/Init_Load_Parameter.cpp'
env:
GIT_AUTHOR_NAME: ${{ github.actor }}
GIT_AUTHOR_EMAIL: ${{ secrets.MY_EMAIL }}
jobs:
Update-all-parameters-page:
runs-on: ubuntu-latest
steps:
- name: Checkout Repo
uses: actions/checkout@v4
with:
token: ${{ secrets.TOKEN_FOR_WIKI }}
- name: run script
run: |
cd tool/wiki
python --version
python sync_runtime_parameter.py
- name: move markdown
run: |
mv tool/wiki/Runtime-Parameters:-All.md doc/wiki/
- name: set git config
run: |
git config --global user.email "${{env.GIT_AUTHOR_NAME}}"
git config --global user.name "${{env.GIT_AUTHOR_EMAIL}}"
- name: make a commit and push if the file changed
run: |
git diff --exit-code doc/wiki/Runtime-Parameters:-All.md || \
( git add doc/wiki/Runtime-Parameters:-All.md && \
git commit -m "[Workflow] Update all parameters wiki page" && \
git push )