Merge remote-tracking branch 'origin/docs/add_docs_permisions' into develop

Author: mdelmans

.github/workflows/chore.yml

@@ -36,7 +36,9 @@ jobs:
     name: Publish Documentation
     runs-on: ubuntu-latest
     if: startsWith(github.event.pull_request.head.ref, 'docs/')
-
+    permissions:
+      id-token: write
+      pages: write
     steps:
       - name: Checkout Repository
         uses: actions/checkout@v4