Bump deploy-pages version too.

Hopefully this will work better with the previously-bumped
upload-pages-artifact, which needed to be bumped because the old version
no longer runs.

Author: dbaron

.github/workflows/build-specs.yml

@@ -63,10 +63,10 @@ jobs:
       - name: Setup Pages
         uses: actions/configure-pages@v2
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3.0.1
+        uses: actions/upload-pages-artifact@v3
         with:
           # Upload entire repository
           path: '.'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4