Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Hediet/b/agricultural-marten #179136

Merged
merged 2 commits into from Apr 4, 2023
Merged

Hediet/b/agricultural-marten #179136

merged 2 commits into from Apr 4, 2023

Conversation

hediet
Copy link
Member

@hediet hediet commented Apr 4, 2023 •
edited

Fixes #179133

@hediet hediet self-assigned this Apr 4, 2023
@hediet hediet enabled auto-merge (squash) April 4, 2023 12:43
@hediet hediet requested review from alexdima, aeschli and lramos15 and removed request for aeschli April 4, 2023 12:43
@hediet hediet disabled auto-merge April 4, 2023 12:44
@VSCodeTriageBot VSCodeTriageBot added this to the April 2023 milestone Apr 4, 2023
alexdima
alexdima approved these changes Apr 4, 2023
View reviewed changes
Copy link
Member

@alexdima alexdima left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@hediet hediet merged commit e09782c into main Apr 4, 2023
8 checks passed
@hediet hediet deleted the hediet/b/agricultural-marten branch April 4, 2023 14:02
@github-actions github-actions bot locked and limited conversation to collaborators May 19, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@lramos15 lramos15 lramos15 approved these changes

@alexdima alexdima alexdima approved these changes

@aeschli aeschli aeschli approved these changes

Assignees

@hediet hediet

Labels
None yet
Projects
None yet
Milestone
April 2023
Development

Successfully merging this pull request may close these issues.

Async Tokenization: Implement correctness assertions behind setting
5 participants
@hediet @lramos15 @alexdima @aeschli @VSCodeTriageBot