Skip to content

Fix linter errors#2672

Merged
maraino merged 1 commit intomasterfrom
mariano/fix-linter
May 5, 2026
Merged

Fix linter errors#2672
maraino merged 1 commit intomasterfrom
mariano/fix-linter

Conversation

@maraino
Copy link
Copy Markdown
Contributor

@maraino maraino commented May 5, 2026

This PR fixes linter errors in CI.

@maraino maraino requested a review from dopey May 5, 2026 18:33
@maraino maraino merged commit 13e645b into master May 5, 2026
17 of 18 checks passed
@maraino maraino deleted the mariano/fix-linter branch May 5, 2026 18:37
@hslatman hslatman added this to the v0.30.3 milestone May 5, 2026
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.

4 participants