Remove unneeded dev tools. #113

	name: Python package

	on: [push, pull_request]

	jobs:
	build:
	runs-on: ${{ matrix.os }}
	strategy:
	matrix:
	python: ['3.9', '3.10', '3.11', '3.12', '3.13']
	os: [macos-latest, ubuntu-latest, windows-latest]

	steps:
	- uses: actions/checkout@v4

	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python }}

	- name: Install tox and any other packages
	run: pip install tox

	- name: Run tox
	# Run tox using the version of Python in `PATH`
	run: tox -e py

	# Run the extra tox configurations that run integration type tests.
	extra:
	needs: build
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

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

	- name: Install tox and any other packages
	run: pip install tox

	- name: Run tox
	run: tox -e with_optional,runner,module,integration,coverage

	- name: Combine coverage & fail if it's <100%
	run: \|
	python -Im pip install --upgrade coverage[toml]

	python -Im coverage html --skip-covered --skip-empty

	# Report and write to summary.
	python -Im coverage report --format=markdown >> $GITHUB_STEP_SUMMARY

	# Report again and fail if under 100%.
	python -Im coverage report --fail-under=100

	- name: Upload HTML report if check failed
	uses: actions/upload-artifact@v4
	with:
	name: html-report
	path: htmlcov
	if: ${{ failure() }}

Provide feedback