Merge pull request #1138 from HoTT/dependabot/github_actions/Andrew-C…

…hen-Wang/github-wiki-action-4 Bump Andrew-Chen-Wang/github-wiki-action from 3 to 4
HoTT · May 24, 2023 · 4715f71 · 4715f71
2 parents dd1b382 + 7ad0850
commit 4715f71
Showing 1 changed file with 3 additions and 6 deletions.
diff --git 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: "[email protected]"
+        uses: Andrew-Chen-Wang/github-wiki-action@v4
+        with:
+          path: _wiki_dir