Dk/deploy python docs #8

	name: Python docs

	on:
	push:
	branches: [ develop ]
	pull_request: { }

	permissions:
	actions: read
	contents: write
	deployments: write

	jobs:
	deploy-python-docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: ./.github/actions/cleanup
	- uses: ./.github/actions/setup-rust
	- uses: ./.github/actions/setup-python

	- name: build Python docs
	run: rye run sphinx-build -M html . _build
	working-directory: pyvortex/docs
	- run: \|
	mv pyvortex/docs/_build /tmp/_build
	git remote -v
	cat .git/config
	git fetch origin
	git checkout origin/gh-pages-bench
	rm -rf docs
	mv /tmp/_build docs
	git add docs
	git config --global user.email "[email protected]"
	git config --global user.name "github-action-deploy-python-docs"
	git commit -m 'update docs'
	git push origin HEAD:gh-pages-bench
	git reflog
	git checkout 'HEAD@{2}'

Provide feedback