From 647efc8f8e960fe5e73f05307b62f8b3447709f0 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Thu, 9 Jan 2025 12:42:07 -0500
Subject: [PATCH] CI: Use latest versions of upload-pages-artifact and
 deploy-pages

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 44bb6f42c..7a8b65f41 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -628,13 +628,13 @@ jobs:
           GH_TOKEN: ${{ github.token }}
 
       - name: Upload pages artifact
-        uses: actions/upload-pages-artifact@v1
+        uses: actions/upload-pages-artifact@v3
         with:
           path: all-html
 
       - name: Deploy to github pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4
 
   build-push-image:
     runs-on: ubuntu-22.04