diff --git a/src/mypy.ini b/src/mypy.ini new file mode 100644 index 00000000000..e315151eee6 --- /dev/null +++ b/src/mypy.ini @@ -0,0 +1,7 @@ +# https://mypy.readthedocs.io/en/stable/config_file.html +[mypy] +python_version = 3.9 + +# https://github.com/sagemath/sage/issues/36198#issuecomment-1709521850 +follow_imports = skip +ignore_missing_imports = True