xiedeyantu commented on PR #4771: URL: https://github.com/apache/calcite/pull/4771#issuecomment-3799177728
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. -- 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]
