alamb opened a new pull request #922: URL: https://github.com/apache/arrow-rs/pull/922
# Which issue does this PR close? Closes https://github.com/apache/arrow-rs/issues/879 # Rationale for this change We are seeing intermittent failures while running MIRI checks on CI that are not reproducible locally and whose symptoms are consistent with miri being killed by the OOM killer (for example, perhaps github has over provisioned their runners so that the upper memory limit is not consistent) When we manually rerun the MIRI run it often passes # What changes are included in this PR? Automatically re-run MIRI up to 5 times looking for a clean run # Are there any user-facing changes? -- 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: github-unsubscr...@arrow.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
