fix #71 harder #1164

	name: documentation

	on:
	push:
	branches: [ master ]

	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: '2'
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: '3.8'
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install .[all]
	pip install 'pdoc3<0.11.0'
	- name: Generate documentation
	run: \|
	pdoc3 --html --force --template-dir pdoc3-template refinery
	- name: Upload documentation
	env:
	auth: ${{ secrets.GH_PAGES_TOKEN }}
	working-directory: ./html/refinery
	shell: bash
	run: \|
	git init
	git config user.email "[email protected]"
	git config user.name jesko
	git remote add origin https://huettenhain:[email protected]/binref/binref.github.io
	git add --all
	git commit -m refinery/${{github.sha}}
	git push origin master --force

Provide feedback