chore: bump actions

leanprover · Feb 3, 2025 · 8e93fd9 · 8e93fd9
1 parent 58e04ab
commit 8e93fd9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/update-index.yml b/.github/workflows/update-index.yml
@@ -45,7 +45,7 @@ jobs:
             {version: "2", releases: . | preprocess}' \
             < releases-nightly > output/nightly.json
       - name: Create artifact
-        uses: actions/upload-pages-artifact@v2
+        uses: actions/upload-pages-artifact@v3
         with:
           path: output
   deploy:
@@ -60,4 +60,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4