Stopped testing 3.7, added testing on 3.12 and 3.13 #1374

	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@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.13'

	- 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