|
@@ -17,10 +17,10 @@ jobs:
|
|
|
- name: build doc
|
|
- name: build doc
|
|
|
run: make docs
|
|
run: make docs
|
|
|
- name: deploy
|
|
- name: deploy
|
|
|
- uses: peaceiris/actions-gh-pages@v3
|
|
|
|
|
|
|
+ uses: peaceiris/actions-gh-pages@v4
|
|
|
with:
|
|
with:
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
- publish_dir: ./docs/html/
|
|
|
|
|
|
|
+ publish_dir: ./doc/html/
|
|
|
enable_jekyll: false
|
|
enable_jekyll: false
|
|
|
allow_empty_commit: false
|
|
allow_empty_commit: false
|
|
|
force_orphan: true
|
|
force_orphan: true
|
Richard Gill