Skip to content

Fix the competing tools module root in mypy - #1421

Merged
trissim merged 1 commit into
mainfrom
fix/tools-package-namespace
Nov 2, 2026
Merged

Fix the competing tools module root in mypy#1421
trissim merged 1 commit into
mainfrom
fix/tools-package-namespace

Use the repository root for qualified tools module identities

ba8ada6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar