Skip to content

chore: exclude .github from linting#101

Closed
radeqq007 wants to merge 1 commit into
mainfrom
chore/exlcude-github-dir
Closed

chore: exclude .github from linting#101
radeqq007 wants to merge 1 commit into
mainfrom
chore/exlcude-github-dir

Conversation

@radeqq007

Copy link
Copy Markdown
Member

No description provided.

@radeqq007 radeqq007 closed this Jun 23, 2026
@codecov-commenter

Copy link
Copy Markdown

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@radeqq007 radeqq007 deleted the chore/exlcude-github-dir branch June 23, 2026 09:48
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.

2 participants