diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml
index 9cc21f626..95e5b1902 100644
--- a/.github/workflows/ci-idris2-and-libs.yml
+++ b/.github/workflows/ci-idris2-and-libs.yml
@@ -762,7 +762,7 @@ jobs:
           cd -
           cp -r www/html/* .github/scripts/html/
       - name: Deploy HTML
-        uses: JamesIves/github-pages-deploy-action@4.1.3
+        uses: JamesIves/github-pages-deploy-action@v4.4.3
         if: ${{ success() && env.IDRIS2_DEPLOY }}
 
         with: