Skip to content

Conversation

seratch
Copy link
Member

@seratch seratch commented Sep 2, 2025

uv run mypy .
site/scripts/generate_ref_files.py: error: Duplicate module named "generate_ref_files" (also at "./docs/scripts/generate_ref_files.py")
site/scripts/generate_ref_files.py: note: See https://mypy.readthedocs.io/en/stable/running_mypy.html#mapping-file-paths-to-modules for more info
site/scripts/generate_ref_files.py: note: Common resolutions include: a) using `--exclude` to avoid checking one of them, b) adding `__init__.py` somewhere, c) using `--explicit-package-bases` or adjusting MYPYPATH
Found 1 error in 1 file (errors prevented further checking)
make: *** [mypy] Error 2

uv run mypy .
site/scripts/generate_ref_files.py: error: Duplicate module named "generate_ref_files" (also at "./docs/scripts/generate_ref_files.py")
site/scripts/generate_ref_files.py: note: See https://mypy.readthedocs.io/en/stable/running_mypy.html#mapping-file-paths-to-modules for more info
site/scripts/generate_ref_files.py: note: Common resolutions include: a) using `--exclude` to avoid checking one of them, b) adding `__init__.py` somewhere, c) using `--explicit-package-bases` or adjusting MYPYPATH
Found 1 error in 1 file (errors prevented further checking)
make: *** [mypy] Error 2
@seratch seratch requested a review from rm-openai September 2, 2025 21:48
@seratch seratch added the project label Sep 2, 2025
@seratch seratch merged commit 184757b into main Sep 3, 2025
5 checks passed
@seratch seratch deleted the make-mypy branch September 3, 2025 01:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants