Skip to content

🚨 lint: linter fixes#119

Merged
jfbus merged 1 commit intomainfrom
linter_fixes
Mar 13, 2026
Merged

🚨 lint: linter fixes#119
jfbus merged 1 commit intomainfrom
linter_fixes

Conversation

@jfbus
Copy link
Copy Markdown
Contributor

@jfbus jfbus commented Mar 12, 2026

No description provided.

@github-actions
Copy link
Copy Markdown

No diff in reference doc 😀

@jfbus jfbus marked this pull request as ready for review March 12, 2026 16:51
@github-actions
Copy link
Copy Markdown

Binary size: 39.1MB => 39.1MB (change +0KB, +0.0%) 😉

@jfbus jfbus merged commit 8c011e4 into main Mar 13, 2026
7 checks passed
@jfbus jfbus deleted the linter_fixes branch March 13, 2026 12:11
@jfbus jfbus added the kind/other Other change label Mar 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind/other Other change

Development

Successfully merging this pull request may close these issues.

2 participants