ci: serve the correct dir for documentation

This commit is contained in:
raf 2025-02-05 03:17:41 +03:00
commit 5a643c1d50
No known key found for this signature in database
GPG key ID: EED98D11B85A2819

View file

@ -37,5 +37,5 @@ jobs:
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc
publish_dir: ./target/doc/mrc
publish_branch: gh-pages