Skip to content

Bump lint#42

Merged
vtopc merged 13 commits intomasterfrom
bump-lint
Sep 7, 2025
Merged

Bump lint#42
vtopc merged 13 commits intomasterfrom
bump-lint

Conversation

@vtopc
Copy link
Owner

@vtopc vtopc commented Sep 7, 2025

No description provided.

@vtopc vtopc marked this pull request as ready for review September 7, 2025 13:19
@vtopc vtopc merged commit d812e7b into master Sep 7, 2025
2 checks passed
@vtopc vtopc deleted the bump-lint branch September 7, 2025 13:19
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