CI: Bump Python to 3.13 and mypy to 1.12 in mypy workflow #129408

Job	Run time
Change detection / Compute changed files	9s
Check if generated files are up to date	3m 29s
Address sanitizer	3m 29s
Ubuntu SSL tests with OpenSSL (ubuntu-22.04, 3.0.15)	2m 12s
Ubuntu SSL tests with OpenSSL (ubuntu-22.04, 3.1.7)	2m 5s
Hypothesis tests on Ubuntu	3m 30s
Docs	0s
Ubuntu SSL tests with OpenSSL (ubuntu-22.04, 3.2.3)	2m 0s
Windows MSI${{ '' }}	0s
Ubuntu SSL tests with OpenSSL (ubuntu-22.04, 3.3.2)	1m 56s
CIFuzz	0s
Thread sanitizer / Thread sanitizer	3m 30s
Thread sanitizer (free-threading) / Thread sanitizer	3m 29s
WASI / build and test	3m 30s
Windows / build (arm64)	3m 14s
Windows (free-threading) / build (arm64)	2m 32s
Windows / build and test (Win32)	3m 14s
macOS (free-threading) / build and test (ghcr.io/cirruslabs/macos-runner:sonoma)	3m 20s
Windows (free-threading) / build and test (Win32)	3m 15s
Windows / build and test (x64)	3m 12s
Windows (free-threading) / build and test (x64)	3m 12s
macOS / build and test (ghcr.io/cirruslabs/macos-runner:sonoma)	3m 18s
macOS / build and test (macos-13)	3m 30s
Ubuntu / build and test (ubuntu-22.04)	3m 30s
Ubuntu (free-threading) / build and test (ubuntu-22.04)	3m 29s
All required checks pass	2s
	1h 5m 7s

Provide feedback