Merge branch 'main' into develop #635

	name: CS

	on:
	push:
	branches-ignore:
	# These should always correspond to pull requests, so ignore them for
	# the push trigger and let them be triggered by the pull_request
	# trigger, avoiding running the workflow twice. This is a minor
	# optimization so there's no need to ensure this is comprehensive.
	- 'dependabot/**'

	pull_request:
	branches:
	- develop
	- main

	jobs:
	lint:
	runs-on: ubuntu-latest
	name: Code linting

	# The maximum number of minutes to let a workflow run
	# before GitHub automatically cancels it. Default: 360
	timeout-minutes: 30

	steps:
	- name: Checkout code
	uses: actions/[email protected]

	- name: Set up Python 3.12
	uses: actions/[email protected]
	with:
	python-version: '3.12'

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install tox tox-gh-actions setuptools

	- name: Lint with tox
	run: tox -e lint

Provide feedback