Anh-Dung Nguyen e72f10be2d [ty] Fix tool name is None when no ty path is given in ty_benchmark (#19870) ... ## Summary When running the ty_benchmark, I found out that the Ty Tool name is None when no ty_path is given as str(None)='None' <img width="1011" height="168" alt="image" src="https://github.com/user-attachments/assets/cf3e6d98-2329-48e9-b180-c72e4f01ccb6" /> ## Test Plan Minor fix, tested local <img width="1105" height="218" alt="image" src="https://github.com/user-attachments/assets/173128c9-dcfa-49f1-a58d-1b39a6c6b53b" />		2025-08-11 21:26:30 +00:00
..
__init__.py	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
cases.py	[ty] Fix tool name is None when no ty path is given in ty_benchmark (#19870)	2025-08-11 21:26:30 +00:00
projects.py	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
run.py	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00