add platform property #329

	name: Release Docs

	on:
	workflow_dispatch:
	push:
	branches: [main]
	paths:
	- "docs/**"
	- ".github/workflows/release-docs.yml"
	pull_request:
	branches: [main]
	types: [closed]
	paths:
	- "docs/**"
	- ".github/workflows/release-docs.yml"

	permissions:
	contents: write

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	jobs:
	deploy:
	runs-on: ubuntu-latest
	# defaults:
	# run:
	# working-directory: docs

	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Setup Node.js
	uses: actions/setup-node@v4
	with:
	node-version: 20
	cache: 'npm'
	cache-dependency-path: ./docs/package-lock.json

	- name: Install dependencies and build
	run: make docs-build

	- name: Deploy to GitHub Pages
	uses: peaceiris/actions-gh-pages@v4
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./docs/build

Provide feedback