Skip to content

[docs] Update index tip for v5.5.0#3774

Merged
tomaarsen merged 1 commit into
huggingface:mainfrom
tomaarsen:docs/update_tip
May 12, 2026
Merged

[docs] Update index tip for v5.5.0#3774
tomaarsen merged 1 commit into
huggingface:mainfrom
tomaarsen:docs/update_tip

Conversation

@tomaarsen
Copy link
Copy Markdown
Member

Hello!

Pull Request overview

  • Update index tip for v5.5.0

Details

Update the sbert.net main tip to guide users to the almost-released skill.

  • Tom Aarsen

@tomaarsen tomaarsen enabled auto-merge (squash) May 12, 2026 11:54
@tomaarsen tomaarsen disabled auto-merge May 12, 2026 11:54
@tomaarsen tomaarsen merged commit 02dc21d into huggingface:main May 12, 2026
17 checks passed
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