Thanks to visit codestin.com
Credit goes to github.com

Skip to content

fix: narrow any inputs correctly#481

Merged
yuhr merged 1 commit intomasterfrom
fix/narrow-any
Feb 5, 2025
Merged

fix: narrow any inputs correctly#481
yuhr merged 1 commit intomasterfrom
fix/narrow-any

Conversation

@yuhr
Copy link
Member

@yuhr yuhr commented Feb 5, 2025

No description provided.

@yuhr yuhr linked an issue Feb 5, 2025 that may be closed by this pull request
@coveralls
Copy link
Collaborator

coveralls commented Feb 5, 2025

Pull Request Test Coverage Report for Build 13156926070

Details

  • 10 of 10 (100.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.01%) to 93.683%

Totals Coverage Status
Change from base Build 12999233283: 0.01%
Covered Lines: 1598
Relevant Lines: 1694

💛 - Coveralls

@yuhr yuhr merged commit 3573490 into master Feb 5, 2025
1 check passed
@yuhr yuhr deleted the fix/narrow-any branch February 5, 2025 12:05
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.

Checked return value is any suprisingly

2 participants