Skip to content

Fix spelling errors in streaming API documentation#716

Closed
Copilot wants to merge 4 commits intomainfrom
copilot/sub-pr-714-again
Closed

Fix spelling errors in streaming API documentation#716
Copilot wants to merge 4 commits intomainfrom
copilot/sub-pr-714-again

Conversation

Copy link
Contributor

Copilot AI commented Feb 4, 2026

Corrects three typos in user-facing documentation for the streaming API traits.

Changes:

  • maintancemaintenance in Stream trait docs
  • exectorexecutor in Executor trait docs
  • aggreateaggregate in Executor trait docs

File: diskann-benchmark-core/src/streaming/api.rs


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Co-authored-by: hildebrandmw <24898651+hildebrandmw@users.noreply.github.com>
Copilot AI changed the title [WIP] Address feedback from review on internal changes Fix spelling errors in streaming API documentation Feb 4, 2026
Copilot AI requested a review from hildebrandmw February 4, 2026 04:09
Base automatically changed from mhildebr/sync-squashed to main February 4, 2026 17:26
@hildebrandmw
Copy link
Contributor

Dup of #715. Thanks!

@hildebrandmw hildebrandmw deleted the copilot/sub-pr-714-again branch February 4, 2026 20:03
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