Skip to content

Add linter and update CI#395

Merged
mikker merged 3 commits into
mainfrom
add-linter
Nov 28, 2025
Merged

Add linter and update CI#395
mikker merged 3 commits into
mainfrom
add-linter

Conversation

@mikker

@mikker mikker commented Nov 11, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@mikker mikker self-assigned this Nov 11, 2025
@mikker mikker requested a review from mafintosh November 11, 2025 14:16
@mikker mikker merged commit 100bfe0 into main Nov 28, 2025
5 checks passed
@mikker mikker deleted the add-linter branch November 28, 2025 11:33
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