Skip to content

Remove unused require - #222

Merged
whatyouhide merged 1 commit into
whatyouhide:mainfrom
sabiwara:unused-require
Oct 13, 2025
Merged

Remove unused require#222
whatyouhide merged 1 commit into
whatyouhide:mainfrom
sabiwara:unused-require

Conversation

@sabiwara

@sabiwara sabiwara commented Oct 2, 2025

Copy link
Copy Markdown
Contributor

Pointed out by the compiler on main:

Screenshot 2025-10-03 at 7 33 11

I can't think of a reason why it would be an issue to remove it, but if I missed something, we could add warn: false instead.

@coveralls

Copy link
Copy Markdown

Pull Request Test Coverage Report for Build eec64eb9e9ad1606c7694d913aa17b387dcf7f33-PR-222

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage decreased (-0.02%) to 93.662%

Totals Coverage Status
Change from base Build 0746c34b2d294daedc9046c82723a96f0809dcf1: -0.02%
Covered Lines: 399
Relevant Lines: 426

馃挍 - Coveralls

@whatyouhide
whatyouhide merged commit 759c7c9 into whatyouhide:main Oct 13, 2025
1 of 2 checks passed
@whatyouhide

Copy link
Copy Markdown
Owner

Nice thank you @sabiwara 馃

@sabiwara
sabiwara deleted the unused-require branch January 13, 2026 22:17
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.

3 participants