Skip to content

Conversation

@ktsitsi
Copy link
Collaborator

@ktsitsi ktsitsi commented Nov 14, 2023

This PR:

@ktsitsi ktsitsi force-pushed the kt/split-supported-extensions-from-embeddings branch from 8d88d0a to ac9ad1d Compare November 14, 2023 12:50
@ktsitsi ktsitsi force-pushed the kt/split-supported-extensions-from-embeddings branch from f97dc52 to b60ce8f Compare November 15, 2023 17:33
@ktsitsi ktsitsi force-pushed the kt/split-supported-extensions-from-embeddings branch from b60ce8f to f41bef9 Compare November 16, 2023 12:10
@ktsitsi
Copy link
Collaborator Author

ktsitsi commented Nov 17, 2023

@thetorpedodog Could you take a last look and merge?

@ktsitsi ktsitsi merged commit 6ab24e0 into main Nov 24, 2023
@ktsitsi ktsitsi deleted the kt/split-supported-extensions-from-embeddings branch November 24, 2023 13:26
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.

3 participants