diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 463c21c0..2161c666 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -50,7 +50,7 @@ jobs:
         # not be useful for most usage of forked repos. However, there are no technical
         # reasons not to enable it, if one wishes to do so.
         if: ${{ github.repository_owner == 'HoTT' && github.ref == 'refs/heads/master' }}
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
         with:
           force_orphan: true
           github_token: ${{ secrets.GITHUB_TOKEN }}