alamb opened a new pull request #578: URL: https://github.com/apache/arrow-rs/pull/578
# Rationale for this change We started running MIRI again in https://github.com/apache/arrow-rs/pull/421, but while discussing with @jorgecarleitao on https://github.com/jorgecarleitao/arrow2/pull/209, it turned out that we were still `||true` ing the output (aka not validating that MIRA was running cleanly) # What changes are included in this PR? Check output of MIRI return # Are there any user-facing changes? No <!--- If there are user-facing changes then we may require documentation to be updated before approving the PR. --> <!--- If there are any breaking changes to public APIs, please add the `breaking change` label. --> -- 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]
