WIP: Historical task #335

	# creates the documentation on pushes it to the gh-pages branch
	name: Documentation

	on:
	pull_request:
	branches: [main]
	push:
	branches: [main]


	permissions:
	contents: write

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	# - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
	# - uses: actions/cache@v3
	# with:
	# key: mkdocs-material-${{ env.cache_id }}
	# path: .cache
	# restore-keys: \|
	# mkdocs-material-

	- name: Dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install torch==2.0.1
	pip install -e .[docs]


	- name: Build and Deploy
	if: github.event_name == 'push'
	run: mkdocs gh-deploy --force

	- name: Build
	if: github.event_name == 'pull_request'
	run: make build-docs

Provide feedback