fix: Couple more spots of addressing the proper name#673

Merged

tchow-zlai merged 3 commits intomainfrom

tchow/more-debugging

Apr 20, 2025

Commits on Apr 19, 2025

rebase

tchow-zlai
and
thomaschow
committed
lint

tchow-zlai
and
thomaschow
committed

Commits on Apr 20, 2025

Merge branch 'main' into tchow/more-debugging
tchow-zlai
authored