diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
index 89723d84b..eb4c4e46e 100644
--- a/.github/workflows/push.yaml
+++ b/.github/workflows/push.yaml
@@ -120,7 +120,7 @@ jobs:
         run: make html
       - name: Upload Pages artifact
         if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch)
-        uses: actions/upload-pages-artifact@v2
+        uses: actions/upload-pages-artifact@v3
         with:
           path: out/html
   check-kani-proofs:
@@ -144,4 +144,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4