Merge pull request #20241 from paulseto/patch-1 #3

	name: Build and Deploy Docs

	on:
	workflow_dispatch:
	push:
	branches:
	- 'develop'
	paths:
	- 'docs/**'

	# Do not build the docs concurrently
	concurrency:
	group: docs
	cancel-in-progress: true

	jobs:
	build:
	name: Build docs
	runs-on: ubuntu-latest
	defaults:
	run:
	working-directory: ./docs
	steps:
	# Setup
	- uses: actions/checkout@v4
	- uses: actions/setup-node@v4
	with:
	node-version: 20
	cache: npm
	cache-dependency-path: ./docs/package-lock.json
	- name: Install dependencies
	run: npm ci

	# Build static docs
	- name: Build all versions
	run: ./build.sh
	- name: Build website
	run: npm run docusaurus build
	- name: upload build artifact
	uses: actions/upload-pages-artifact@v1
	with:
	path: ./docs/build

	deploy:
	name: Deploy docs to gh-pages
	needs: build

	permissions:
	pages: write
	id-token: write

	environment:
	name: Documentation
	url: ${{ steps.deployment.outputs.page_url }}

	runs-on: ubuntu-latest
	steps:
	- name: deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v1

Provide feedback