Skip to content

[MISC] Check that parse was not called#240

Merged
eseiler merged 2 commits intoseqan:mainfrom
eseiler:misc/call_parse
Feb 14, 2024
Merged

[MISC] Check that parse was not called#240
eseiler merged 2 commits intoseqan:mainfrom
eseiler:misc/call_parse

Conversation

@eseiler
Copy link
Copy Markdown
Member

@eseiler eseiler commented Feb 14, 2024

No description provided.

@vercel
Copy link
Copy Markdown

vercel bot commented Feb 14, 2024

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated (UTC)
sharg-parser ✅ Ready (Inspect) Visit Preview Feb 14, 2024 0:07am

@seqan-actions seqan-actions added lint [INTERNAL] signals that clang-format ran and removed lint [INTERNAL] signals that clang-format ran labels Feb 14, 2024
@seqan-actions seqan-actions added lint [INTERNAL] signals that clang-format ran and removed lint [INTERNAL] signals that clang-format ran labels Feb 14, 2024
@seqan-actions seqan-actions added lint [INTERNAL] signals that clang-format ran and removed lint [INTERNAL] signals that clang-format ran labels Feb 14, 2024
@codecov
Copy link
Copy Markdown

codecov bot commented Feb 14, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (4b75957) 92.01% compared to head (e0a6826) 92.07%.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #240      +/-   ##
==========================================
+ Coverage   92.01%   92.07%   +0.05%     
==========================================
  Files          17       17              
  Lines        1629     1640      +11     
==========================================
+ Hits         1499     1510      +11     
  Misses        130      130              

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

@eseiler eseiler merged commit dccd47d into seqan:main Feb 14, 2024
@eseiler eseiler deleted the misc/call_parse branch February 14, 2024 12:23
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