Merge branch 'development' of https://github.com/automl/DEHB into dev… #37

	name: docs

	on:
	# Trigger manually
	workflow_dispatch:

	# Trigger on any push to the main
	push:
	branches:
	- master
	- development

	# Trigger on any push to a PR that targets main
	pull_request:
	branches:
	- master
	- development

	permissions:
	contents: write

	env:
	name: DEHB

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: 3.x
	- uses: actions/cache@v3
	with:
	key: ${{ github.ref }}
	path: .cache
	- run: pip install "mkdocs-material" "mkdocstrings[python]"
	- run: mkdocs gh-deploy --force

Provide feedback