ci: add doc publishment workflow (#353)

Co-authored-by: yihtseu <i@yizhou.ac.cn>
This commit is contained in:
ykiko
2026-02-01 23:01:06 +08:00
committed by GitHub
parent c0ffd2369b
commit 5b016b1317
5 changed files with 12 additions and 9 deletions

View File

@@ -20,9 +20,11 @@ jobs:
run: pixi run build-docs
- name: Deploy to GitHub Pages
if: github.ref == 'refs/heads/main'
uses: peaceiris/actions-gh-pages@v4
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/.vitepress/dist
cname: clice.io
personal_token: ${{ secrets.PUBLISH_DOCS }}
external_repository: clice-io/docs
publish_dir: ./docs/.vitepress/dist
destination_dir: clice
keep_files: true