Add CI coverage report #66

	name: ci
	on: [push, pull_request]

	jobs:
	test:
	runs-on: ubuntu-20.04 # Ubuntu 20.04 LTS ships with the Python version we're currently targeting

	steps:
	- uses: actions/checkout@v4
	- name: Upgrade pip
	run: python3 -m pip install --upgrade pip
	- name: Setup development environment
	run: make dev-install
	- name: Run tests
	run: make test
	- name: Report
	uses: 5monkeys/cobertura-action@master
	with:
	path: coverage.xml
	minimum_coverage: 90
	skip_covered: false

	check:
	runs-on: ubuntu-20.04

	steps:
	- uses: actions/checkout@v4
	- name: Upgrade pip
	run: python3 -m pip install --upgrade pip
	- name: Setup development environment
	run: make dev-install
	- name: Check formatting (use `make reformat` on error)
	run: make formatting
	- name: Run linter (try `make fix` on error)
	run: make lint
	- name: Check types
	run: make typecheck

Provide feedback