Fix documentation workflow #140

	name: Deploy to Github Pages

	# Controls when the action will run.
	on:
	# Triggers the workflow on push or pull request events but only for the main branch
	push:
	branches: [ main ]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@ee0669bd1cc54295c223e0bb666b733df41de1c5 # v2.7.0

	# Runs a set of commands using the runners shell
	- name: Docusaurus build
	run: \|
	npm i
	npm run build

	# Archive the result
	- name: Archive production artifacts
	uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v4.4.3
	with:
	name: website
	path: \|
	build

	# Deploy to ghpages branch
	- name: Deploy Github Pages
	uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./build

Provide feedback