update workflows #10

Merged
chizeta merged 1 commit from fix into main 2024-05-17 20:33:15 +02:00

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