Skip to content

Fix lint in xtask#144

Merged
ia0 merged 1 commit intomainfrom
lint
Jun 28, 2025
Merged

Fix lint in xtask#144
ia0 merged 1 commit intomainfrom
lint

Conversation

@ia0
Copy link
Owner

@ia0 ia0 commented Jun 28, 2025

No description provided.

@ia0 ia0 merged commit 97b9ba2 into main Jun 28, 2025
2 checks passed
@ia0 ia0 deleted the lint branch June 28, 2025 16:09
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