name: Deploy docs to GitHub Pages on: push: branches: - main paths: - "docs/**" - ".github/workflows/pages.yml" workflow_dispatch: permissions: contents: read concurrency: group: pages cancel-in-progress: false jobs: deploy: runs-on: ubuntu-latest permissions: pages: write id-token: write environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} steps: - uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6 with: persist-credentials: false - name: Install mdBook uses: peaceiris/actions-mdbook@ee69d230fe19748b7abf22df32acaa93833fad08 # v2 with: mdbook-version: latest - name: Install mdbook-mermaid run: cargo install mdbook-mermaid - name: Build en-US run: mdbook build docs/en-US - name: Build zh-CN run: mdbook build docs/zh-CN - name: Assemble site run: | rm -rf site_out mkdir -p site_out/en-US site_out/zh-CN cp -r docs/en-US/book/* site_out/en-US/ cp -r docs/zh-CN/book/* site_out/zh-CN/ cp -r docs/shared site_out/shared cp docs/shared/og_preview.jpg site_out/og_preview.jpg cp docs/shared/favicon.ico site_out/favicon.ico cp docs/CNAME site_out/CNAME cat > site_out/index.html <<'HTML'