Mypy corrections. #95

	name: Lint
	on: push
	jobs:
	run-linters:
	name: Run linters
	runs-on: ubuntu-latest

	steps:
	- name: Check out Git repository
	uses: actions/checkout@v2

	- name: Set up Python
	uses: actions/setup-python@v1
	with:
	python-version: 3.8

	- name: Install Python dependencies
	run: pip install black==22.6.0 flake8==5.0.4

	- name: Run linters
	uses: samuelmeuli/[email protected]
	with:
	github_token: ${{ secrets.github_token }}
	# Enable linters
	black: true
	flake8: true

Provide feedback