CI: Use latest versions of upload-pages-artifact and deploy-pages

GaloisInc · Jan 23, 2025 · 647efc8 · 647efc8
1 parent 97bcdf4
commit 647efc8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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