diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f3785112..1ca143bd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -60,9 +60,6 @@ jobs:
         # This step would err if the forked repo does not already have wiki pages.
         # As a workaround, it is disabled for all forked repos.
         if: ${{ github.repository_owner == 'HoTT' && github.ref == 'refs/heads/master' }}
-        uses: Andrew-Chen-Wang/github-wiki-action@v3
-        env:
-          WIKI_DIR: "./_wiki_dir/"
-          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          GH_NAME: "github-actions"
-          GH_MAIL: "github-actions@github.com"
+        uses: Andrew-Chen-Wang/github-wiki-action@v4
+        with:
+          path: _wiki_dir