Bump deploy pages version too

Author: davidgfnet

.github/workflows/build-docs.yml

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