Merge pull request #172 from MrAlexLau/main #32

	name: deploy development docs
	on:
	push:
	branches: [main]

	jobs:
	build:
	name: Deploy development docs
	runs-on: ubuntu-latest
	steps:
	- name: Checkout main
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2

	- run: pip install hatch
	- name: publish docs
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	git config user.name "Frank Hoffmann"
	git config user.email "[email protected]"
	git fetch origin gh-pages --depth=1
	hatch run docs:mike deploy --push development

Provide feedback