Use actions/download-artifact@v4

utensil · Oct 6, 2024 · fdfeeb8 · fdfeeb8
1 parent dc5bbf0
commit fdfeeb8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -33,7 +33,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
         - name: Download GitHub Pages artifact
-          uses: actions/download-artifact@v2
+          uses: actions/download-artifact@v4
           with:
             name: github-pages
             path: lean4