fix(mypy): Fix files in scripts/ (#4320)

2021-04-07 04:42:56 +02:00
parent 531d2d6d7e
commit 252df0a149
3 changed files with 4 additions and 4 deletions
--- a/scripts/validate_filenames.py
+++ b/scripts/validate_filenames.py
@@ -4,7 +4,7 @@ import os
 try:
    from .build_directory_md import good_file_paths
 except ImportError:
-    from build_directory_md import good_file_paths
+    from build_directory_md import good_file_paths  # type: ignore

 filepaths = list(good_file_paths())
 assert filepaths, "good_file_paths() failed!"