Skip to content

Conversation

@mpminardi
Copy link
Member

Running make build was missed on #235 and subsequently missed by me when reviewing that PR (whoops).

Updates #cleanup

Running make build was missed on #235 and subsequently missed by me
when reviewing that PR (whoops).

Updates #cleanup

Signed-off-by: Mario Minardi <[email protected]>
@mpminardi mpminardi self-assigned this Dec 11, 2025
@mpminardi mpminardi merged commit 67f81e5 into main Dec 11, 2025
15 checks passed
@mpminardi mpminardi deleted the mpminardi/fix-missing-index-updates branch December 11, 2025 18:09
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.

2 participants