Use newer version of types #83

	name: Lint and test

	on:
	push:
	branches:
	- "**"
	tags-ignore: ["**"]

	jobs:
	lint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	# use minimum version here from setup.py
	python-version: "3.12"
	- name: Install dependencies
	run: \|
	python -m pip install -e .[pinned,dev]
	- name: Run pre-commit checks
	run: \|
	./pre-commit
	test:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	# lowest, common (default ubuntu LTS), newest
	python-version: ["3.9", "3.12"]
	steps:
	- uses: actions/checkout@v4
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install dependencies
	run: \|
	python -m pip install -e .[pinned,dev,test]
	- name: Run tests
	run: \|
	pytest
	- name: Run mypy
	run: \|
	mypy --install-types --non-interactive .
	- name: Run examples
	run: \|
	./example-simple.py
	python example-inv.py -h

Provide feedback