Merge pull request 'update workflows' (#10) from fix into main
All checks were successful
ci/woodpecker/manual/woodpecker Pipeline was successful

Reviewed-on: #10
This commit is contained in:
Christian Zimmermann 2024-05-17 20:33:15 +02:00
commit b03e35d422

View file

@ -27,7 +27,7 @@ jobs:
working-directory: "./doc/doxy"
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc/doxy/html