Adjust action syntax for new action version

Author: JasonGross

.github/workflows/ci.yml

@@ -58,8 +58,5 @@ jobs:
         # 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@v4
-        env:
-          WIKI_DIR: "./_wiki_dir/"
-          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          GH_NAME: "github-actions"
-          GH_MAIL: "github-actions@github.com"
+        with:
+          path: "./_wiki_dir/"