Spaces:
Sleeping
Sleeping
| [mypy] | |
| python_version = 3.10 | |
| ignore_missing_imports = True | |
| warn_unused_ignores = True | |
| warn_redundant_casts = True | |
| warn_unreachable = True | |
| strict_optional = True | |
| check_untyped_defs = True | |
| exclude = ^reframe\.egg-info/|^build/|^dist/|^\.venv/ | |
| mypy_path = . | |
| namespace_packages = True | |
| explicit_package_bases = True | |
| # Keep typing strictness reasonable for this project | |
| disallow_untyped_defs = False | |
| disallow_any_generics = False | |
| # Don’t type-check tests strictly | |
| [mypy-tests.*] | |
| ignore_errors = True | |
| [mypy-gradio.*] | |
| # Gradio's type stubs miss dynamic helper methods like `.click()` | |
| disable_error_code = attr-defined | |