[ci] remove useless slashes

Author: JasonGross

.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