Skip to content

Conversation

@ptoffy
Copy link
Member

@ptoffy ptoffy commented Apr 14, 2025

No description provided.

@ptoffy ptoffy requested a review from gwynne as a code owner April 14, 2025 14:01
@codecov
Copy link

codecov bot commented Apr 14, 2025

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

Copy link
Member

@gwynne gwynne left a comment

Choose a reason for hiding this comment

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

Mostly looks okay, a couple nits though

@ptoffy ptoffy requested a review from gwynne April 14, 2025 14:52
Copy link
Member

@gwynne gwynne left a comment

Choose a reason for hiding this comment

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

LGTM!

@ptoffy ptoffy merged commit 57c889b into main Apr 14, 2025
4 of 6 checks passed
@ptoffy ptoffy deleted the universal-case-expr branch April 14, 2025 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants