docs: update translated document pages (#938) #1507

	name: Deploy Docs to GitHub Pages

	on:
	push:
	branches: [main]
	paths:
	- "docs/**"
	pull_request:
	paths:
	- "docs/**"
	workflow_dispatch:

	# Allow this job to clone the repo and create a page deployment
	permissions:
	contents: read
	pages: write
	id-token: write

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout your repository using git
	uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd
	- name: Setup Node.js
	uses: actions/setup-node@6044e13b5dc448c55e2357c09f80417699197238
	- name: Install pnpm
	uses: pnpm/action-setup@41ff72655975bd51cab0327fa583b6e92b6d3061
	with:
	version: 10.28.2
	run_install: true
	- name: Run build
	run: pnpm build
	- name: Install, build, and upload your site
	uses: withastro/action@fc88a7002f0c62327f26fb1b15f2a1d581249278
	with:
	path: docs
	# with:
	# path: . # The root location of your Astro project inside the repository. (optional)
	# node-version: 20 # The specific version of Node that should be used to build your site. Defaults to 20. (optional)
	package-manager: pnpm@latest # The Node package manager that should be used to install dependencies and build your site. Automatically detected based on your lockfile. (optional)

	deploy:
	if: github.event_name == 'push' && github.ref == 'refs/heads/main'
	needs: build
	runs-on: ubuntu-latest
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e

Provide feedback