update mypy config

fchapoton · fchapoton · commit 40087112fdf5 · 2025-09-24T16:07:49.000+02:00
diff --git a/src/mypy.ini b/src/mypy.ini
@@ -1,6 +1,6 @@
 # https://mypy.readthedocs.io/en/stable/config_file.html
 [mypy]
-python_version = 3.9
+python_version = 3.11
 
 # https://github.com/sagemath/sage/issues/36198#issuecomment-1709521850
 follow_imports = skip
