[Minor] Fix lint (#13938)

This commit is contained in:
Baizhou Zhang
2025-11-25 10:57:23 -08:00
committed by GitHub
parent 4852aa054c
commit 808b6dfdea