Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[MRG] Fix signature filter command in docs. #2159

Merged
merged 1 commit into from
Jul 29, 2022
Merged

[MRG] Fix signature filter command in docs. #2159

merged 1 commit into from
Jul 29, 2022

Conversation

mr-eyes
Copy link
Member

@mr-eyes mr-eyes commented Jul 29, 2022

Adding a missing subcommand filter to the command line docs.

Ready for review and merge @sourmash-bio/devs

@mr-eyes mr-eyes added the doc documentation content or issues label Jul 29, 2022
@codecov
Copy link

codecov bot commented Jul 29, 2022

Codecov Report

Merging #2159 (07e6576) into latest (2cc6c15) will increase coverage by 7.37%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           latest    #2159      +/-   ##
==========================================
+ Coverage   84.34%   91.72%   +7.37%     
==========================================
  Files         130       99      -31     
  Lines       15320    11044    -4276     
  Branches     2176     2176              
==========================================
- Hits        12922    10130    -2792     
+ Misses       2095      611    -1484     
  Partials      303      303              
Flag Coverage Δ
python 91.72% <ø> (ø)
rust ?

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
src/core/src/sketch/minhash.rs
src/core/src/ffi/mod.rs
src/core/src/index/search.rs
src/core/src/index/sbt/mhbt.rs
src/core/src/sketch/nodegraph.rs
src/core/src/encodings.rs
src/core/src/storage.rs
src/core/src/signature.rs
src/core/src/ffi/signature.rs
src/core/src/ffi/index/revindex.rs
... and 21 more

Help us with your feedback. Take ten seconds to tell us how you rate us.

@ctb
Copy link
Contributor

ctb commented Jul 29, 2022

thanks!

@ctb ctb merged commit 2f38f6c into latest Jul 29, 2022
@ctb ctb deleted the mo/fix_filter_docs branch July 29, 2022 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc documentation content or issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants