Skip to content

[DOC] Improve version selector#3234

Merged
eseiler merged 1 commit intoseqan:mainfrom
eseiler:infra/doc
Feb 8, 2024
Merged

[DOC] Improve version selector#3234
eseiler merged 1 commit intoseqan:mainfrom
eseiler:infra/doc

Conversation

@eseiler
Copy link
Copy Markdown
Member

@eseiler eseiler commented Feb 8, 2024

No description provided.

@vercel
Copy link
Copy Markdown

vercel bot commented Feb 8, 2024

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

Name Status Preview Updated (UTC)
seqan3 ✅ Ready (Inspect) Visit Preview Feb 8, 2024 2:08pm

@seqan-actions seqan-actions added lint [INTERNAL] signal for linting and removed lint [INTERNAL] signal for linting labels Feb 8, 2024
@codecov
Copy link
Copy Markdown

codecov bot commented Feb 8, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (2ddce9d) 98.17% compared to head (98f1e3b) 98.17%.

❗ Current head 98f1e3b differs from pull request most recent head 63d0f53. Consider uploading reports for the commit 63d0f53 to get more accurate results

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3234   +/-   ##
=======================================
  Coverage   98.17%   98.17%           
=======================================
  Files         269      269           
  Lines       11854    11854           
=======================================
  Hits        11638    11638           
  Misses        216      216           

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

@seqan-actions seqan-actions added lint [INTERNAL] signal for linting and removed lint [INTERNAL] signal for linting labels Feb 8, 2024
@eseiler eseiler merged commit ffabe95 into seqan:main Feb 8, 2024
@eseiler eseiler deleted the infra/doc branch February 8, 2024 14:26
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