Merge pull request #1138 from HoTT/dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-4

Bump Andrew-Chen-Wang/github-wiki-action from 3 to 4

Author: mikeshulman

.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: "[email protected]"
+        uses: Andrew-Chen-Wang/github-wiki-action@v4
+        with:
+          path: _wiki_dir