Skip to content

Update the search plugin to v0.8.7 - #217

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
update-plugin/search
Closed

github-actions[bot] wants to merge 1 commit into
mainfrom
update-plugin/search

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 25, 2026 •

Copy link
Copy Markdown
Contributor

search is on v0.8.4 here; milo-os/search has published v0.8.7.

Opened or updated by the daily upstream scan. A plugin's own repo normally pushes its release to this catalog; this runs regardless of whether that happened, so the catalog cannot drift unnoticed.

Checksums come from the release's checksums.txt where it has one, and are computed from the archives where it does not. PR validation downloads every URI and verifies them again.

@github-actions
github-actions Bot force-pushed the update-plugin/search branch from 28b200a to e97867f Compare October 26, 2026 06:59
@github-actions github-actions Bot changed the title Update the search plugin to v0.8.6 Update the search plugin to v0.8.7 Oct 26, 2026
@ecv

ecv commented Oct 30, 2026

Copy link
Copy Markdown
Contributor

Closing so the release scan recreates this update with a signed commit (datum-cloud/infra#7969).

@ecv ecv closed this Oct 30, 2026
@ecv
ecv deleted the update-plugin/search branch October 30, 2026 02:12
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.

1 participant