Skip to content

fix: fix delete by filter#84

Merged
zhourrr merged 1 commit intomainfrom
fix/fix_delete_by_filter
Feb 9, 2026
Merged

fix: fix delete by filter#84
zhourrr merged 1 commit intomainfrom
fix/fix_delete_by_filter

Conversation

@chinaux
Copy link
Collaborator

@chinaux chinaux commented Feb 9, 2026

fix segment delete, modify segment_doc_id to g_doc_id

@chinaux chinaux assigned chinaux, egolearner and zhourrr and unassigned chinaux Feb 9, 2026
@zhourrr zhourrr merged commit fe90f70 into main Feb 9, 2026
6 checks passed
@chinaux chinaux deleted the fix/fix_delete_by_filter branch February 9, 2026 09:41
Copy link
Collaborator

@egolearner egolearner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

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

Comments