Skip to content

ci: fix lint settings#795

Merged
ww24 merged 1 commit intomasterfrom
fix-lint
Jan 8, 2024
Merged

ci: fix lint settings#795
ww24 merged 1 commit intomasterfrom
fix-lint

Conversation

@ww24
Copy link
Copy Markdown
Owner

@ww24 ww24 commented Jan 8, 2024

No description provided.

@ww24 ww24 self-assigned this Jan 8, 2024
@ww24 ww24 merged commit 33e32ca into master Jan 8, 2024
@ww24 ww24 deleted the fix-lint branch January 8, 2024 12:46
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