Skip to content

Conversation

@hrrrrustic
Copy link
Contributor

danmoseley
danmoseley previously approved these changes May 21, 2023
Copy link
Member

@danmoseley danmoseley left a comment

Choose a reason for hiding this comment

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

not sure whether at some future point we might want to add a range of lengths or not -- more benchmarks has their cost. this is something.

danmoseley
danmoseley previously approved these changes May 21, 2023
@danmoseley
Copy link
Member

@LoopedBard3 fyi this failed to download the CLI, so I added some robustification. (Oddly, it needs the retries when I run locally today.)

@danmoseley
Copy link
Member

@LoopedBard3 looks like someone other than me needs to sign off -- can you, and merge?

Copy link
Member

@LoopedBard3 LoopedBard3 left a comment

Choose a reason for hiding this comment

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

LGTM

@LoopedBard3 LoopedBard3 self-requested a review May 22, 2023 21:14
Copy link
Member

@LoopedBard3 LoopedBard3 left a comment

Choose a reason for hiding this comment

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

LGTM

@LoopedBard3 LoopedBard3 merged commit 0307668 into dotnet:main May 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants