Skip to content

Conversation

@uros-db
Copy link
Contributor

@uros-db uros-db commented Jun 26, 2024

What changes were proposed in this pull request?

Following up on #47014, a small fix.

Why are the changes needed?

CI is broken to due a conflict after merge.

Does this PR introduce any user-facing change?

No.

How was this patch tested?

Existing tests.

Was this patch authored or co-authored using generative AI tooling?

No.

@github-actions github-actions bot added the SQL label Jun 26, 2024
@cloud-fan
Copy link
Contributor

let me merge it now to unblock CI

Copy link
Contributor Author

@uros-db uros-db left a comment

Choose a reason for hiding this comment

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

thanks!

@cloud-fan cloud-fan closed this in 4cf5450 Jun 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants