3 Commits

Author	SHA1	Message	Date
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
Ibraheem Ahmed	aa1fad61e0	Support relative --ty-path in ty-benchmark (#18385) ... ## Summary This currently doesn't work because the benchmark changes the working directory. Also updates the process name to make it easier to compare two local ty binaries.	2025-05-30 18:19:20 -04:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00