Docs

Merge pull request #7 from peterhil/test-index-from-map #26

	name: Docs

	on:
	push:
	branches: [main]

	jobs:
	all:
	name: all
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repo
	uses: actions/checkout@v4
	with:
	ref: main

	- name: Setup Pnpm
	uses: pnpm/action-setup@v4
	with:
	version: 9.4.x

	- name: Setup Node
	uses: actions/setup-node@v4
	with:
	node-version: 20
	registry-url: https://registry.npmjs.org
	cache: pnpm

	- name: Pnpm install
	run: pnpm install --strict-peer-dependencies

	- name: Generate documentation
	run: pnpm doc

	- name: Publish Docs
	run: \|
	set -x
	git config user.name "Peter Hillerström"
	git config user.email "peter.hillerstrom@gmail.com"
	git add -f docs
	git status
	git commit -m "Update docs"
	git subtree split --prefix docs --branch gh-pages
	git push --force origin gh-pages:gh-pages

Provide feedback