Skip to content

Reduce lint suppression - #388

Merged
FaronAan merged 4 commits into
mainfrom
reduce-lint-suppression
May 24, 2026
Merged

Reduce lint suppression#388
FaronAan merged 4 commits into
mainfrom
reduce-lint-suppression

Conversation

@FaronAan

Copy link
Copy Markdown
Contributor

finally making a PR for this

@1FoxInTheBox1 1FoxInTheBox1 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@FaronAan
FaronAan merged commit 988d477 into main May 24, 2026
1 check passed
@github-project-automation github-project-automation Bot moved this from Unrefined to Done in Current Tasks May 24, 2026
@FaronAan
FaronAan deleted the reduce-lint-suppression branch May 24, 2026 23:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants