Tests

build(deps-dev): bump mypy from 1.13 to 1.14.1 in /Tools #17

Job	Run time
Change detection / Compute changed files	9s
Check if generated files are up to date	4m 12s
Address sanitizer (ubuntu-24.04)	11m 30s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.0.15)	4m 33s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.1.7)	4m 23s
Windows MSI${{ '' }}	0s
Check if Autoconf files are up to date	20s
Docs	0s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.2.3)	4m 42s
Hypothesis tests on Ubuntu	8m 8s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.3.2)	6m 2s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.4.0)	4m 34s
CIFuzz	0s
Thread sanitizer (free-threading) / Thread sanitizer	9m 34s
Thread sanitizer / Thread sanitizer	7m 19s
WASI / build and test	5m 45s
Windows / build and test (arm64)	2m 6s
Windows (free-threading) / build and test (arm64)	3m 13s
Windows / build and test (Win32)	15m 17s
Windows / build and test (x64)	14m 39s
Windows (free-threading) / build and test (x64)	21m 7s
macOS / build and test (macos-13)	25s
macOS / build and test (macos-14)	9m 5s
macOS (free-threading) / build and test (macos-14)	9m 36s
Ubuntu / build and test (ubuntu-24.04)	10m 47s
Ubuntu (free-threading) / build and test (ubuntu-24.04)	15m 8s
All required checks pass	2s
	2h 52m 36s

Provide feedback