Bump mypy from 1.10.1 to 1.13.0 #184

	name: Tests

	on:
	push:
	branches: [main]
	pull_request:
	merge_group:
	workflow_dispatch:
	schedule:
	- cron: "20 4 * * 2" # once a week

	env:
	FORCE_COLOR: "1"

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	tests:
	timeout-minutes: 10
	runs-on: ${{ matrix.os }}
	strategy:
	fail-fast: false
	matrix:
	os: [ubuntu-20.04, windows-latest, macos-latest]
	pyv: ["3.9", "3.10", "3.11", "3.12"]

	steps:
	- name: Check out the repository
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

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

	- name: Upgrade pip, nox and uv
	run: \|
	python -m pip install --upgrade pip nox uv
	pip --version
	nox --version
	uv --version

	- name: Lint code and check dependencies
	run: nox -s lint-${{ matrix.pyv }}

	- name: Run tests
	run: nox -s tests-${{ matrix.pyv }} -- --cov-report=xml

	- name: Upload coverage report
	uses: codecov/codecov-action@v4
	if: github.actor != 'dependabot[bot]'
	with:
	fail_ci_if_error: ${{ matrix.os != 'windows-latest' }}
	env:
	CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}

	- name: Build package
	run: nox -s build-${{ matrix.pyv }}

Provide feedback