From 88dd0758f0ee37e615fd5957cdde7eabddc0e580 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Fri, 26 Jul 2024 12:20:39 +0200
Subject: [PATCH] Bump actions/deploy-pages from 1 to 4

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 4876d35a..4c98cece 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -122,7 +122,7 @@ jobs:
 
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4
 
       # - name: Make sure the cache works
       #   run: mv docs/docs .lake/build/doc
\ No newline at end of file