Merge pull request #1501 from pints-team/1499-missing-changelog-update #1281

	name: Coverage

	on:
	push:
	branches:
	- main
	pull_request:
	# Run workflow when PR is changed, or when changed from draft to ready
	types: [opened, synchronize, reopened, ready_for_review]
	branches:
	- '**'

	jobs:

	build-and-test:
	name: Coverage
	runs-on: ubuntu-latest

	# Skip job if it's a draft PR
	if: github.event.pull_request.draft == false

	steps:
	- uses: actions/checkout@v3

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.11'

	- name: install pints
	run: \|
	python --version
	python -m pip install --upgrade pip setuptools wheel
	python -m pip install .[stan]
	python -m pip install coverage codecov

	- name: run coverage
	run: \|
	coverage run run-tests.py --unit

	- name: codecov
	if: success()
	env:
	CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
	run: \|
	codecov

Provide feedback