Fix type hinting for Py 3.9 #422

	name: Docs

	on: [push, pull_request]

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest
	name: build
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.11'
	cache: 'pip'
	- name: Cache dependencies
	uses: actions/cache@v4.1.2
	with:
	path: ~/.cache/pip
	key: ${{ runner.os }}-pip-${{ hashFiles('docs/requirements.txt') }}
	restore-keys: \|
	${{ runner.os }}-pip-
	- run: python -m pip install -r docs/requirements.txt
	- name: Build docs
	run: \|
	cd docs
	make html

	spelling:
	runs-on: ubuntu-latest
	name: spelling
	needs: build
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.11'
	cache: 'pip'
	- name: Cache dependencies
	uses: actions/cache@v4.1.2
	with:
	path: ~/.cache/pip
	key: ${{ runner.os }}-pip-${{ hashFiles('docs/requirements.txt') }}
	restore-keys: \|
	${{ runner.os }}-pip-
	- run: python -m pip install -r docs/requirements.txt
	- name: Check spelling
	run: \|
	cd docs
	make spelling

Provide feedback