This is an automated email from the ASF dual-hosted git repository.
alamb pushed a change to branch active_release
in repository https://gitbox.apache.org/repos/asf/arrow-rs.git.
from c9a9515 Update mod.rs (#909) (#919)
add 3f0e252 Cherry pick Automatically retry failed MIRI runs to work
around intermittent failures (#934)
No new revisions were added by this update.
Summary of changes:
.github/workflows/miri.sh | 26 ++++++++++++++++++++++++++
.github/workflows/miri.yaml | 14 +-------------
2 files changed, 27 insertions(+), 13 deletions(-)
create mode 100755 .github/workflows/miri.sh
