Skip to content

Publish FastPeopleSearch - #898

Merged
johannawild merged 1 commit into
mainfrom
publish-180
Sep 12, 2026
Merged

johannawild merged 1 commit into
mainfrom
publish-180

Conversation

@github-actions

Copy link
Copy Markdown

Created via publish workflow. In case of merge conflicts, re-run all jobs on Run 180.

@johannawild
johannawild merged commit cab9b48 into main Sep 12, 2026
3 checks passed
@johannawild
johannawild deleted the publish-180 branch September 12, 2026 10:44
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