Skip to content

Fix clippy issues and update several dependenices#335

Merged
thomaskrause merged 11 commits intomainfrom
fix-clippy-issues
Apr 17, 2026
Merged

Fix clippy issues and update several dependenices#335
thomaskrause merged 11 commits intomainfrom
fix-clippy-issues

Conversation

@thomaskrause
Copy link
Copy Markdown
Member

No description provided.

@thomaskrause thomaskrause enabled auto-merge April 17, 2026 10:52
@github-actions
Copy link
Copy Markdown
Contributor

Commit e19023f

-------------
Diff Coverage
Diff: origin/main...HEAD, staged and unstaged changes
-------------
cli/src/bin/annis_bench_queries.rs (0.0%): Missing lines 118
core/src/annostorage/inmemory.rs (71.4%): Missing lines 892-893
core/src/annostorage/ondisk.rs (100%)
core/src/graph/serialization/graphml.rs (100%)
core/src/graph/storage/linear.rs (100%)
core/src/graph/storage/prepost.rs (100%)
graphannis/src/annis/db/aql/mod.rs (100%)
graphannis/src/annis/db/aql/model.rs (100%)
graphannis/src/annis/db/corpusstorage.rs (75.0%): Missing lines 803
graphannis/src/annis/db/relannis.rs (76.5%): Missing lines 671,674,678-679
graphannis/src/annis/db/sort_matches.rs (100%)
webservice/src/settings.rs (100%)
-------------
Total:   72 lines
Missing: 8 lines
Coverage: 88%
-------------

@thomaskrause thomaskrause merged commit 6c8ab5a into main Apr 17, 2026
10 checks passed
@thomaskrause thomaskrause deleted the fix-clippy-issues branch April 17, 2026 11:34
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.

1 participant