Skip to content
Snippets Groups Projects

search: keep filter nodes for unordered lucky rule

Merged Warren Gifford requested to merge rvt/lucky-fix-filter into main

Created by: rvantonder

Stacked on https://github.com/sourcegraph/sourcegraph/pull/36763.

Fixes wrong mapper for concat nodes that would early return and sometimes throw away filters depending on the order of terms.

Test plan

Updated test

Merge request reports

Approval is optional

Merged by avatar (Apr 12, 2025 1:42pm UTC)

Merge details

  • Changes merged into main with 0338a279.
  • Deleted the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading