Merge pull request #280 from SpiNNakerManchester/mypy.bash #664

Job	Run time
call / validate (ubuntu-latest, 3.12, validate)	14m 40s
call / checks (ubuntu-latest, 3.13)	2s
call / tests (windows-latest, 3.12, tests)	2m 9s
call / tests (windows-2019, 3.8, tests)	1m 48s
call / checks (ubuntu-24.04, 3.11)	2m 27s
call / tests (macos-latest, 3.12, tests)	46s
call / checks (ubuntu-latest, 3.10)	2m 30s
call / tests (macos-12, 3.8, tests)	1m 5s
call / checks (ubuntu-22.04, 3.9)	2m 38s
call / checks (ubuntu-20.04, 3.8)	2m 46s
	30m 51s

Provide feedback