Lint

Merge commit '6d4b6d1419f6b290a3e105ddc04334a2f24e5468' #1

	name: Lint
	on:
	push:
	branches:
	- master
	pull_request:
	jobs:
	mypy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.x"
	- run: \|
	python -m pip install --upgrade pip
	pip install -r requirements-types.txt
	- uses: liskin/gh-problem-matcher-wrap@v2
	with:
	action: add
	linters: mypy
	- run: mypy --show-column-numbers github tests

	pre-commit:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: "3.x"
	- uses: pre-commit/[email protected]

	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: "3.8"

	- run: pip install -r requirements.txt
	- run: pip install -e .
	- run: sphinx-build doc build

Provide feedback