diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 7b65d8a1e..d37e0ce2b 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -52,7 +52,7 @@ jobs:
           color=$(printf "%x%x%x" $((255-$percentage)) $((155+$percentage)) 85)
           opam exec -- ocb --style classic --label $label --status $percentage'%' --color $color > doc/coverage/badge.svg
       - name: deploy
-        uses: JamesIves/github-pages-deploy-action@v4.7.2
+        uses: JamesIves/github-pages-deploy-action@v4.7.3
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           BRANCH: gh-pages