From e3587066d404d558f6c975ee1c8469a50c686eb1 Mon Sep 17 00:00:00 2001
From: "L. David Baron" <dbaron@dbaron.org>
Date: Tue, 28 Jan 2025 21:53:56 -0500
Subject: [PATCH] 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.
---
 .github/workflows/build-specs.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-specs.yml b/.github/workflows/build-specs.yml
index 176df7dd8d0..2ffc7bd4f80 100644
--- a/.github/workflows/build-specs.yml
+++ b/.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