etseidl commented on PR #9514: URL: https://github.com/apache/arrow-rs/pull/9514#issuecomment-4026103268
> > merging since this fixes CI errors introduced by #9515 and it otherwise seems good to go > > Wait... did I somehow miss a broken CI on the other PR when I merged it? Or was there some logical merge conflict in the PR merge itself that CI didn't pick up? I don't know what CI was showing for the PR at the time, but after merge the branch did fail the lint test (https://github.com/apache/arrow-rs/actions/runs/22864823934). It's fixed now, so no worries. -- 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]
