Bump mypy from 1.12.1 to 1.13.0 in the dependencies group #881

	---
	name: Super-Linter

	on: # yamllint disable-line rule:truthy
	push:
	branches: "**"
	pull_request:
	types:
	- opened
	- synchronize
	- reopened

	permissions: {}

	jobs:
	# Set the job key. The key is displayed as the job name
	# when a job name is not provided
	super-lint:
	# Name the Job
	name: Lint code base
	# Set the type of machine to run on
	runs-on: ubuntu-latest

	permissions:
	contents: read
	packages: read
	# To report GitHub Actions status checks
	statuses: write

	steps:
	# Checks out a copy of your repository on the ubuntu-latest machine
	- name: Checkout code
	uses: actions/checkout@v4
	with:
	# super-linter needs the full git history to get the
	# list of files that changed across commits
	fetch-depth: 0

	# Runs the Super-Linter action
	- name: Run Super-Linter
	uses: super-linter/super-linter@v7
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	LINTER_RULES_PATH: /
	PYTHON_ISORT_CONFIG_FILE: pyproject.toml
	PYTHON_PYLINT_CONFIG_FILE: pyproject.toml
	# Suppressed because it conflicts with clang-format in some cases
	VALIDATE_CPP: false
	# Suppressed because copy/paste is sometimes required at low level
	VALIDATE_JSCPD: false
	# Suppressed because it even accuses book titles
	VALIDATE_NATURAL_LANGUAGE: false
	# Suppressed because it does not honor the ignore-paths option
	VALIDATE_PYTHON_PYLINT: false
	# super-linter 7 does not honor the ignore-paths option of pylint
	# so we run pylint separately
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: 3.12
	- name: Run pylint
	run: \|
	pip install pylint
	pylint --recursive=y .

Provide feedback