Skip to content

[MISC] Add HIBF_UNREACHABLE#269

Merged
eseiler merged 2 commits intoseqan:mainfrom
eseiler:misc/unreachable
Feb 17, 2025
Merged

[MISC] Add HIBF_UNREACHABLE#269
eseiler merged 2 commits intoseqan:mainfrom
eseiler:misc/unreachable

Conversation

@eseiler
Copy link
Copy Markdown
Member

@eseiler eseiler commented Feb 17, 2025

Only used in one file in the library, but

  • it may be used more in the future
  • it's a nice utility for dependents

@seqan-actions seqan-actions added lint [INTERNAL] used for linting and removed lint [INTERNAL] used for linting labels Feb 17, 2025
@seqan-actions
Copy link
Copy Markdown
Member

Documentation preview available at https://docs.seqan.de/preview/seqan/hibf/269

@codecov
Copy link
Copy Markdown

codecov bot commented Feb 17, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.57%. Comparing base (6e90be6) to head (5a04fa6).
Report is 3 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #269      +/-   ##
==========================================
- Coverage   99.59%   99.57%   -0.03%     
==========================================
  Files          52       52              
  Lines        1996     1862     -134     
  Branches        5        5              
==========================================
- Hits         1988     1854     -134     
  Misses          8        8              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@seqan-actions seqan-actions added lint [INTERNAL] used for linting and removed lint [INTERNAL] used for linting labels Feb 17, 2025
@seqan-actions seqan-actions added lint [INTERNAL] used for linting and removed lint [INTERNAL] used for linting labels Feb 17, 2025
@seqan-actions seqan-actions added lint [INTERNAL] used for linting and removed lint [INTERNAL] used for linting labels Feb 17, 2025
@eseiler eseiler merged commit cd97c42 into seqan:main Feb 17, 2025
38 checks passed
@eseiler eseiler deleted the misc/unreachable branch February 17, 2025 11:48
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