random try

leanprover-community · Feb 4, 2025 · 7d7ef20 · 7d7ef20
1 parent f62ddbc
commit 7d7ef20
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -91,4 +91,4 @@ jobs:
 
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v3
+        uses: actions/deploy-pages@v4