Fix PR handling on coverage report #76

	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: insightsengineering/coverage-action@v2
	with:
	path: coverage.xml
	threshold: 90
	fail: true
	publish: true
	coverage-summary-title: "Code Coverage Summary"

	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