Skip to content

chore: lints all targets#426

Merged
julio4 merged 1 commit intomainfrom
chore/lints
Mar 5, 2026
Merged

chore: lints all targets#426
julio4 merged 1 commit intomainfrom
chore/lints

Conversation

@julio4
Copy link
Member

@julio4 julio4 commented Mar 5, 2026

No description provided.

@julio4 julio4 merged commit 53873f9 into main Mar 5, 2026
4 checks passed
@julio4 julio4 deleted the chore/lints branch March 5, 2026 14:02
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.

2 participants