Move permissions into job

Author: mrbean-bremen

.github/workflows/builddocs.yml

@@ -6,16 +6,11 @@ on:
   push:
     branches:
       - master
+      - deploy-docs
   pull_request:
     branches:
       - master
-
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-permissions:
-  id-token: write
-  contents: read
-  pages: write
-  actions: read
+      - deploy-docs
 
 # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
 # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
@@ -29,6 +24,14 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: windows-latest
+
+    # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+    permissions:
+      id-token: write
+      contents: read
+      pages: write
+      actions: read
+
     steps:
     - name: Checkout
       uses: actions/checkout@v4
@@ -49,4 +52,4 @@ jobs:
         path: 'Docs/_site'
     - name: Deploy to GitHub Pages
       id: deployment
-      uses: actions/deploy-pages@v3
+      uses: actions/deploy-pages@v4