Merge pull request #272 from SpiNNakerManchester/typing

Typing
SpiNNakerManchester · Oct 22, 2024 · 829787f · 829787f
2 parents c4b1e56 + 765ba9c
commit 829787f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mypy.bash b/mypy.bash
@@ -21,4 +21,4 @@
 
 utils="../SpiNNUtils/spinn_utilities"
 
-mypy $utils spinn_machine
+mypy --python-version 3.8 $utils spinn_machine