Merge pull request 'correct .github/workflows/main.yml' (#7) from dev into main

Reviewed-on: #7
This commit is contained in:
Christian Zimmermann 2024-02-04 18:53:35 +00:00
commit 1d36fefec4

View file

@ -30,4 +30,4 @@ jobs:
uses: peaceiris/actions-gh-pages@v3 uses: peaceiris/actions-gh-pages@v3
with: with:
github_token: ${{ secrets.GITHUB_TOKEN }} github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./html publish_dir: ./doc/doxy/html