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

Reviewed-on: 
This commit is contained in:
Christian Zimmermann 2024-02-04 18:57:01 +00:00
commit 27c4c59d19

View file

@ -31,3 +31,6 @@ jobs:
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc/doxy/html
permissions:
contents: write