Merge pull request #416 from SpiNNakerManchester/mypy.bash #1467

Job	Run time
call / tests (windows-latest, 3.12, tests)	2m 40s
call / tests (windows-2019, 3.8, tests)	2m 27s
call / validate (ubuntu-latest, 3.12, validate)	3m 3s
call / checks (ubuntu-latest, 3.13)	3s
call / tests (macos-latest, 3.12, tests)	1m 3s
call / tests (macos-12, 3.8, tests)	1m 51s
call / checks (ubuntu-24.04, 3.11)	2m 35s
call / checks (ubuntu-latest, 3.10)	2m 33s
call / checks (ubuntu-22.04, 3.9)	2m 32s
call / checks (ubuntu-20.04, 3.8)	2m 38s
	21m 25s

Provide feedback