ci: Bump remote action versions

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Feb 15, 2024 · 68b9ee6 · 68b9ee6
1 parent cd8704e
commit 68b9ee6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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