build(deps-dev): bump mypy from 1.7.0 to 1.8.0 in /Tools #60

Job	Run time
Check for source changes	10s
Address sanitizer	10m 13s
Ubuntu SSL tests with OpenSSL (1.1.1w)	2m 44s
Check if generated files are up to date	4m 42s
Ubuntu SSL tests with OpenSSL (3.0.11)	3m 44s
Docs	0s
Ubuntu SSL tests with OpenSSL (3.1.3)	3m 45s
CIFuzz	0s
Hypothesis tests on Ubuntu	6m 42s
Windows / build and test (x64)	13m 30s
Windows / build and test (x86)	13m 24s
macOS / build and test	17m 32s
macOS (free-threaded) / build and test	16m 25s
Ubuntu / build and test	8m 35s
Ubuntu (free-threaded) / build and test	8m 40s
Windows / build (arm64)	2m 46s
Windows (free-threaded) / build and test (x64)	14m 6s
Windows (free-threaded) / build (arm64)	2m 38s
Windows (free-threaded) / build and test (x86)	14m 27s
All required checks pass	2s
	2h 24m 5s

Provide feedback