Rename some of the github actions #157

	name: ci

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	jobs:
	lint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/setup-python@v4
	with:
	python-version: "3.x"
	- uses: actions/checkout@v4
	- name: Lint through tox
	run: \|
	pip install tox
	tox -e format-and-lint

	tests:

	runs-on: ${{ matrix.os }}
	strategy:
	fail-fast: false
	matrix:
	python-version: ["3.9","3.10", "3.11", "3.12"]
	os: [ubuntu-latest, macOS-latest, windows-latest]

	steps:
	- uses: actions/setup-python@v4
	with:
	python-version: "3.x"
	- uses: actions/checkout@v4
	- name: Run tests through tox
	run: \|
	pip install tox
	tox -e test

	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/setup-python@v4
	with:
	# Ensure that this version matches .readthedocs.yaml
	python-version: "3.10"
	- uses: actions/checkout@v4
	- name: Build the HTML docs
	run: \|
	pip install tox
	sudo apt-get install pandoc
	tox -e docs

Provide feedback