modified build_and_deploy

.github/workflows/build_and_deploy.yml

@@ -38,20 +38,27 @@ jobs:
       - name: Upload documentation artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          name: documentation
+          name: github-pages
           path: Docs/build/html
 
   deploy:        
-    runs-on: ubuntu-latest
     needs: build
+
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    runs-on: ubuntu-latest
+
     if: github.event_name == 'push' && github.ref == 'refs/heads/development'
     steps:
-      - name: Download documentation artifact
-        uses: actions/download-artifact@v3
-        with:
-          name: documentation
-
-      - name: deploy to gh-pages branch
-        uses: actions/deploy-pages@v2
+      - name: deploy to gh-pages
+        uses: actions/deploy-pages@v4
+        artifact_name: github-pages
+        id: deployment
         with:
           token: ${{ secrets.GITHUB_TOKEN }}