Skip to content

Apply new format for ruff tool#77

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

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

Conversation

@wdhongtw

@wdhongtw wdhongtw commented Feb 20, 2026

Copy link
Copy Markdown
Collaborator

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