xuzifu666 commented on PR #4771: URL: https://github.com/apache/calcite/pull/4771#issuecomment-3799219322
> I don't think we need to submit a new PR. This CI error doesn't seem to be related to the PR, so we can merge it in without worry. The CI error is indeed unrelated to changes. If there are no other comments in 24 hours, it will be merged. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
