Update push_main.yml

leanprover-community · Dec 6, 2024 · 6d681e2 · 6d681e2
1 parent 902caf0
commit 6d681e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push_main.yml b/.github/workflows/push_main.yml
@@ -110,7 +110,7 @@ jobs:
         run: JEKYLL_ENV=production bundle exec jekyll build
 
       - name: upload artifact
-        uses: actions/upload-pages-artifact@v1
+        uses: actions/upload-pages-artifact@v3
         with:
           path: "docs/_site"