Skip to content

fix: fix document re-indexing#510

Merged
vagenas merged 1 commit intomainfrom
fix-indexing
Feb 12, 2026
Merged

fix: fix document re-indexing#510
vagenas merged 1 commit intomainfrom
fix-indexing

Conversation

@vagenas
Copy link
Member

@vagenas vagenas commented Feb 11, 2026

No description provided.

Signed-off-by: Panos Vagenas <pva@zurich.ibm.com>
@mergify
Copy link

mergify bot commented Feb 11, 2026

Merge Protections

Your pull request matches the following merge protections and will not be merged until they are valid.

🟢 Enforce conventional commit

Wonderful, this rule succeeded.

Make sure that we follow https://www.conventionalcommits.org/en/v1.0.0/

  • title ~= ^(fix|feat|docs|style|refactor|perf|test|build|ci|chore|revert)(?:\(.+\))?(!)?:

🟢 Require two reviewer for test updates

Wonderful, this rule succeeded.

When test data is updated, we require two reviewers

  • #approved-reviews-by >= 2

@dosubot
Copy link

dosubot bot commented Feb 11, 2026

Related Documentation

Checked 14 published document(s) in 1 knowledge base(s). No updates required.

How did I do? Any feedback?  Join Discord

@github-actions
Copy link
Contributor

DCO Check Passed

Thanks @vagenas, all your commits are properly signed off. 🎉

@codecov
Copy link

codecov bot commented Feb 11, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@vagenas vagenas merged commit 1d969d4 into main Feb 12, 2026
12 checks passed
@vagenas vagenas deleted the fix-indexing branch February 12, 2026 09:11
@vagenas vagenas mentioned this pull request Feb 13, 2026
35 tasks
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.

4 participants