Add Mypy to GitHub Actions and 'pre-commit' configuration (#10) #56

	name: Python build

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

	jobs:
	build:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: ["3.10"]

	steps:
	- uses: actions/checkout@v3
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -r requirements.txt
	if [ -f requirements-dev.txt ]; then pip install -r requirements-dev.txt; fi
	- name: Install dependencies for testing
	run: \|
	if [ -f requirements-test.txt ]; then pip install -r requirements-test.txt; fi
	- name: Lint with flake8
	run: \|
	flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics
	flake8 . --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics
	- name: Install Polytope
	run: \|
	pip install .
	- name: Static type check with mypy
	run: \|
	mypy src/ \
	--ignore-missing-imports \
	--disallow-any-unimported \
	--no-implicit-optional \
	--check-untyped-defs \
	--warn-return-any \
	--warn-unused-ignores \
	--show-error-codes
	- name: Test with pytest
	run: \|
	python -m pytest

Provide feedback