ci: Use latest deploy-pages (#1796)

Author: schloerke

.github/workflows/build-docs.yaml

@@ -120,4 +120,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4