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

	name: Doctest

	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: Docs
	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 .
	python -m pip install .[docs]

	- name: run doctest
	run: \|
	python run-tests.py --doctest

Provide feedback