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

Skip to content

improvement!: improve error reporting of Union#415

Merged
yuhr merged 1 commit intomasterfrom
improvement/union
Jan 6, 2025
Merged

improvement!: improve error reporting of Union#415
yuhr merged 1 commit intomasterfrom
improvement/union

Conversation

@yuhr
Copy link
Member

@yuhr yuhr commented Jan 6, 2025

No description provided.

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

Pull Request Test Coverage Report for Build 12637910159

Details

  • 7 of 7 (100.0%) changed or added relevant lines in 2 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.02%) to 94.345%

Totals Coverage Status
Change from base Build 12637504910: 0.02%
Covered Lines: 1391
Relevant Lines: 1465

💛 - Coveralls

@yuhr yuhr merged commit dcacc0f into master Jan 6, 2025
1 check passed
@yuhr yuhr deleted the improvement/union branch January 6, 2025 18:19
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.

More helpful union error messages

2 participants