haraldwolff
/
json
mirror of https://github.com/nlohmann/json.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

💚 fix documentation deploy

pull/4092/merge
Niels Lohmann 2023-11-01 22:09:53 +01:00
parent 4ffd5bd18e
commit 1dfe4073e3
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.github/workflows/publish_documentation.yml vendored
View File

@ -35,6 +35,9 @@ jobs:
run: make build -C docs/mkdocs run: make build -C docs/mkdocs
- name: Deploy documentation - name: Deploy documentation
uses: JamesIves/github-pages-deploy-action@v4 uses: crazy-max/ghaction-github-pages@v4
with: with:
folder: docs/mkdocs/site target_branch: gh-pages
build_dir: docs/mkdocs/site
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

2
docs/mkdocs/Makefile
View File

@ -21,7 +21,7 @@ style_check:
clean: clean:
rm -fr docs/images/json.gif docs/examples rm -fr docs/images/json.gif docs/examples
# publish site to GitHub pages (not working in CI) # publish site to GitHub pages (not working in GitHub Actions)
publish: prepare_files publish: prepare_files
venv/bin/mkdocs gh-deploy --clean --force venv/bin/mkdocs gh-deploy --clean --force