mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-07 20:54:28 +08:00
Stubtest settings: change ignore_missing_stub default to false (#9779)
If you're reading about this commit from an autogenerated changelog entry, this should have no user-visible impact on how the stubs are interpreted by a type checker; it's just an internal change to how typeshed's tests work.
This commit is contained in:
@@ -71,14 +71,7 @@ def create_metadata(stub_dir: str, version: str) -> None:
|
||||
return
|
||||
print(f"Writing {filename}")
|
||||
with open(filename, "w", encoding="UTF-8") as file:
|
||||
file.write(
|
||||
f"""\
|
||||
version = "{version}.*"
|
||||
|
||||
[tool.stubtest]
|
||||
ignore_missing_stub = false
|
||||
"""
|
||||
)
|
||||
file.write(f'version = "{version}.*"')
|
||||
|
||||
|
||||
def add_pyright_exclusion(stub_dir: str) -> None:
|
||||
|
||||
Reference in New Issue
Block a user