diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cdbee775..79c2376b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -59,4 +59,4 @@ jobs: if: ${{ github.repository_owner == 'HoTT' && github.ref == 'refs/heads/master' }} uses: Andrew-Chen-Wang/github-wiki-action@v4 with: - path: "./_wiki_dir/" + path: _wiki_dir