File tree Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Original file line number Diff line number Diff line change 1919 tests :
2020 runs-on : ubuntu-latest
2121
22+ permissions :
23+ # Give the default GITHUB_TOKEN write permission to commit and push the
24+ # added or changed files to the repository.
25+ contents : write
26+
2227 steps :
2328 - uses : actions/checkout@v4
2429
7277 target : ' public/'
7378 template : ' default'
7479
80+ - name : Update Wiki
81+ uses :
phpDocumentor/[email protected] 82+
83+ - name : Commit submodule changes
84+ run : |
85+ git config --global user.email "github-actions[bot]@users.noreply.github.com"
86+ git config --global user.name "github-actions[bot]"
87+ cd docs/wiki
88+ git add .
89+ git commit -m "Update wiki content [skip ci]" || echo "No changes to commit"
90+ git push
91+ cd ../..
92+ git submodule update --remote --merge
93+ git push
94+
7595 - name : Upload artifact
7696 if : github.ref == 'refs/heads/main'
7797 uses : actions/upload-pages-artifact@v3
You can’t perform that action at this time.
0 commit comments