Update actions in Pages workflow (#860)

Author: tinder-cfuller

.github/workflows/pages.yml

@@ -7,29 +7,31 @@ on:
 env:
   DEVELOPER_DIR: /Applications/Xcode_15.4.app/Contents/Developer
 
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: "pages"
+  cancel-in-progress: true
+
 jobs:
   pages:
     name: Pages
-    runs-on: macos-latest
-    concurrency:
-      group: "pages"
-      cancel-in-progress: true
-    permissions:
-      contents: read
-      pages: write
-      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: macos-latest
     steps:
     - name: Checkout source
       uses: actions/checkout@v4
     - name: Configure pages
-      uses: actions/configure-pages@v2
+      uses: actions/configure-pages@v5
     - name: Build documentation
       run: make site
     - name: Upload pages artifact
-      uses: actions/upload-pages-artifact@v1
+      uses: actions/upload-pages-artifact@v3
     - name: Deploy pages artifact
       id: deployment
-      uses: actions/deploy-pages@v1
+      uses: actions/deploy-pages@v4