From a381f85f889508027ffdbe5d0bce6b0a53e11ed1 Mon Sep 17 00:00:00 2001
From: Michele Ceriotti <ceriottm@users.noreply.github.com>
Date: Sun, 8 Sep 2024 22:10:44 +0200
Subject: [PATCH] Update gh-pages deployment that uses a deprecated node.js
 (#72)

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index b3f206e9..90bc3e75 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -97,7 +97,7 @@ jobs:
 
       - name: deploy to gh-pages
         if: github.event_name == 'push'
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./gh-pages/