alamb opened a new pull request, #3610: URL: https://github.com/apache/arrow-datafusion/pull/3610
# Which issue does this PR close? re https://github.com/apache/arrow-datafusion/issues/3045 # Rationale for this change DataFusion runs a check called "MIRI" as part of CI. Example: https://github.com/apache/arrow-datafusion/actions/runs/3119021327/jobs/5058711471 This check always completes successfully as the results of running miri are `|| true` d (aka ignored) This provides a false sense of security (we run MIRI!) as well as wasting CI resources # What changes are included in this PR? Stop running MIRI check in CI # Are there any user-facing changes? No I will file a follow on ticket to create a working MIRI CI check as well -- 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]
