From a7ffa136be9f00da5ce384bb42484a552812f1ee Mon Sep 17 00:00:00 2001
From: jverzani <jverzani@gmail.com>
Date: Tue, 16 Dec 2025 18:04:18 -0500
Subject: [PATCH] /

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

diff --git a/.github/workflows/BuildDocs.yml b/.github/workflows/BuildDocs.yml
index 63c1c4c..c4d66c2 100644
--- a/.github/workflows/BuildDocs.yml
+++ b/.github/workflows/BuildDocs.yml
@@ -17,7 +17,7 @@ jobs:
         run: julia --project=docs/ --color=yes docs/make.jl
       - name: Deploy Documentation
         if: ${{ (github.ref == 'refs/heads/main' && github.repository == 'Symengine/symengine.jl') || (github.ref == 'refs/heads/master' && github.repository == 'Symengine/symengine.jl')}}
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./docs/build