Skip to content

Apply new format for ruff tool#77

Merged
wdhongtw merged 1 commit intomainfrom
ruff-fix
Mar 3, 2026
Merged

Apply new format for ruff tool#77
wdhongtw merged 1 commit intomainfrom
ruff-fix

Conversation

@wdhongtw
Copy link
Collaborator

@wdhongtw wdhongtw commented Feb 20, 2026

Current formatting breaks CI.

Also replace it with nested function so it's unlikely to break again for minor change in formatting tool.

@wdhongtw wdhongtw added the enhancement New feature or request label Feb 20, 2026
@wdhongtw wdhongtw self-assigned this Feb 20, 2026
Current formatting breaks CI.

Signed-off-by: Weida Hong <wdhongtw@google.com>
@wdhongtw wdhongtw requested a review from jialei777 February 21, 2026 13:31
@wdhongtw wdhongtw merged commit 1887bbd into main Mar 3, 2026
5 checks passed
@wdhongtw wdhongtw deleted the ruff-fix branch March 3, 2026 02:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants