docs: refresh translations for recent English changes (#3636) #202
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy Docs | |
| on: | |
| push: | |
| branches: | |
| # main is the sole deployer of the combined site (v2 at / and /v2/, v1.x | |
| # at /v1/); the v1.x branch has no deploy workflow. A v1.x docs change is | |
| # published by the next main deploy or a manual workflow_dispatch here. | |
| - main | |
| paths: | |
| - docs/** | |
| # docs pages include their code blocks from these files via `--8<--`, so a | |
| # change here changes the rendered site even when no .md file moves. | |
| - docs_src/** | |
| # translated pages and the language registry feed the site/<code>/ sites | |
| - i18n/** | |
| - mkdocs.yml | |
| - src/mcp/** | |
| - src/mcp-types/** | |
| - scripts/build-docs.sh | |
| - scripts/docs/** | |
| - pyproject.toml | |
| - uv.lock | |
| - .github/workflows/deploy-docs.yml | |
| workflow_dispatch: | |
| concurrency: | |
| group: deploy-docs | |
| # Newest run wins. build-docs.sh builds the tips of main and v1.x, not the | |
| # triggering commit, so a newer run publishes everything an older one would, | |
| # and Pages takes the site as one artifact, so a cancelled run leaves the live | |
| # site as it was. With `false`, a run that never gets a runner holds the group | |
| # and every later deploy waits behind it. | |
| cancel-in-progress: true | |
| jobs: | |
| deploy-docs: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | |
| with: | |
| persist-credentials: false | |
| - name: Install uv | |
| uses: astral-sh/setup-uv@bec219d24cd3e171d82865faccec33120bb574f4 # v10.1.0 | |
| with: | |
| enable-cache: true | |
| version: 0.9.5 | |
| - name: Build combined docs (main at / and /v2/, v1.x at /v1/) | |
| run: bash scripts/build-docs.sh site | |
| - name: Configure Pages | |
| uses: actions/configure-pages@45bfe0192ca1faeb007ade9deae92b16b8254a0d # v6.0.0 | |
| - name: Upload Pages artifact | |
| uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0 | |
| with: | |
| path: site | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@368f82528645a54fb793d4d04e342629a3f51346 # v5.0.1 |