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

Skip to content

refactor: remove unnecessary special-casing in Maybe#472

Merged
yuhr merged 1 commit intomasterfrom
refactor/maybe
Jan 22, 2025
Merged

refactor: remove unnecessary special-casing in Maybe#472
yuhr merged 1 commit intomasterfrom
refactor/maybe

Conversation

@yuhr
Copy link
Member

@yuhr yuhr commented Jan 22, 2025

No description provided.

@yuhr yuhr merged commit 5da0d78 into master Jan 22, 2025
1 check passed
@yuhr yuhr deleted the refactor/maybe branch January 22, 2025 20:35
@coveralls
Copy link
Collaborator

Pull Request Test Coverage Report for Build 12916627555

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 93.648%

Totals Coverage Status
Change from base Build 12916294660: 0.0%
Covered Lines: 1590
Relevant Lines: 1686

💛 - Coveralls

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