Docs

chroe: fix docstring #986

	name: Docs

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]
	workflow_dispatch:

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

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v5

	- name: Install SiraDoc
	run: npm install --global @siradoc/siradoc

	- name: Build website
	run: siradoc docs build

	- name: Clone branch gh-pages
	uses: actions/checkout@v5
	with:
	path: 'gh-pages'
	ref: gh-pages

	- name: Move .git to build
	run: mv './gh-pages/.git' './build'

	- name: Set git config
	run: \|
	cd './build'
	git config user.name github-actions
	git config user.email [email protected]

	- name: Push to pages
	continue-on-error: true
	run: \|
	cd './build'
	git add .
	git commit -m "Update pages"
	git push

Provide feedback