alamb opened a new pull request #892: URL: https://github.com/apache/arrow-rs/pull/892
# Which issue does this PR close? Closes https://github.com/apache/arrow-rs/issues/879 # Rationale for this change MIRI is failing in some "can not reproduce" way on github. # What changes are included in this PR? Change the cache setting for the MIRI job to: 1. Be different (and thus not use whatever is wrong with the current one) 2. More closely follow the other jobs caching # Are there any user-facing changes? No -- 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]
