Skip to content

Adopt tool API changes#6487

Merged
alexr00 merged 1 commit intomainfrom
alexr00/binding-whippet
Nov 18, 2024
Merged

Adopt tool API changes#6487
alexr00 merged 1 commit intomainfrom
alexr00/binding-whippet

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Nov 18, 2024

No description provided.

@alexr00 alexr00 self-assigned this Nov 18, 2024
@alexr00 alexr00 enabled auto-merge (squash) November 18, 2024 14:55
@vs-code-engineering vs-code-engineering bot added this to the November 2024 milestone Nov 18, 2024
@alexr00 alexr00 merged commit 322b4e7 into main Nov 18, 2024
@alexr00 alexr00 deleted the alexr00/binding-whippet branch November 18, 2024 14:58
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

Comments