diff --git a/.github/workflows/Typos.yml b/.github/workflows/Typos.yml index fa76f95e9b355..f9fa20fff5d12 100644 --- a/.github/workflows/Typos.yml +++ b/.github/workflows/Typos.yml @@ -48,7 +48,8 @@ jobs: for line in new_file: new = json.loads(line) if new["typo"] not in old: - clean = False + if len(new["typo"]) > 6: # Short typos might be false positives. Long are probably real. + clean = False print("::warning file={},line={},col={}::perhaps \"{}\" should be \"{}\".".format( new["path"], new["line_num"], new["byte_offset"], new["typo"], " or ".join(new["corrections"]))) diff --git a/typos.toml b/typos.toml deleted file mode 100644 index 59228e2b30d8e..0000000000000 --- a/typos.toml +++ /dev/null @@ -1,2 +0,0 @@ -[default] -extend-ignore-words-re = ["^[a-zA-Z]?[a-zA-Z]?[a-zA-Z]?[a-zA-Z]?[a-zA-Z]?$"]