From 4c62b37fcd23e94ea482efc5974acc2560f57f5f Mon Sep 17 00:00:00 2001 From: tianzedavid Date: Thu, 13 Feb 2025 22:09:55 +0800 Subject: [PATCH] chore: remove redundant word Signed-off-by: tianzedavid --- test/lint/lint-files.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/lint/lint-files.py b/test/lint/lint-files.py index 28d029407a0..681785acd23 100755 --- a/test/lint/lint-files.py +++ b/test/lint/lint-files.py @@ -91,7 +91,7 @@ def check_all_filenames(files) -> int: for filename in filenames: if not filename_regex.match(filename): print( - f"""File {repr(filename)} does not not match the allowed filename regexp ('{ALLOWED_FILENAME_REGEXP}').""" + f"""File {repr(filename)} does not match the allowed filename regexp ('{ALLOWED_FILENAME_REGEXP}').""" ) failed_tests += 1 return failed_tests