[pre-commit.ci] pre-commit suggestions #390

	name: Code formatting

	# see: https://help.github.com/en/actions/reference/events-that-trigger-workflows
	on: # Trigger the workflow on push or pull request, but only for the main branch
	push: {}
	pull_request:
	branches: [main]

	jobs:
	typing-mypy:
	runs-on: ubuntu-20.04
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: 3.8
	- name: Install mypy
	run: pip install "mypy>=1.1.1"
	- name: mypy
	run: mypy src/

	pre-commit:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5

	- name: set PY
	run: echo "PY=$(python -VV \| sha256sum \| cut -d' ' -f1)" >> $GITHUB_ENV
	- uses: actions/cache@v4
	with:
	path: ~/.cache/pre-commit
	key: pre-commit\|${{ env.PY }}\|${{ hashFiles('.pre-commit-config.yaml') }}

	- uses: pre-commit/[email protected]
	# this action also provides an additional behaviour when used in private repositories
	# when configured with a github token, the action will push back fixes to the pull request branch
	#with:
	# token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback