Skip to content

Comments

Fix lint warnings#173

Merged
msaroufim merged 1 commit intomainfrom
lint_warn
Feb 13, 2026
Merged

Fix lint warnings#173
msaroufim merged 1 commit intomainfrom
lint_warn

Conversation

@msaroufim
Copy link
Member

@msaroufim msaroufim commented Feb 13, 2026

80% genuinely better, 20% lint-pleasing

@msaroufim msaroufim temporarily deployed to kernelboard-lint-warn-bkdh16jj February 13, 2026 17:26 Inactive
@msaroufim msaroufim merged commit 077dc1c into main Feb 13, 2026
1 check passed
@msaroufim msaroufim deleted the lint_warn branch February 13, 2026 17:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant