build(deps-dev): bump mypy from 1.5.1 to 1.7.1 in /Tools #37

Job	Run time
Check for source changes	9s
Windows (x64)	33m 56s
macOS	17m 54s
Check if generated files are up to date	5m 32s
Windows (x86)	29m 53s
Docs	0s
Address sanitizer	11m 8s
Ubuntu	25m 20s
Ubuntu SSL tests with OpenSSL (1.1.1v)	3m 27s
Hypothesis tests on Ubuntu	6m 33s
Ubuntu SSL tests with OpenSSL (3.0.10)	4m 2s
Ubuntu SSL tests with OpenSSL (3.1.2)	4m 6s
All required checks pass	2s
	2h 22m 2s

Provide feedback