diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index a12a9891..145af399 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -117,7 +117,7 @@ jobs:
           rsync -ac --delete generated_documentation/ "new_documentation/development"
 
       - name: publish to GitHub Pages
-        uses: JamesIves/github-pages-deploy-action@v4.7.1
+        uses: JamesIves/github-pages-deploy-action@v4.7.2
         with:
           branch: gh-pages
           clean: true