Jefffrey commented on PR #10580: URL: https://github.com/apache/arrow-rs/pull/10580#issuecomment-5223848878
yeah was mainly interested in reducing the workflow time, even though total cpu time takes the same amount > Maybe we should consider reducing MIRI on PRs (and only run it on merge to main) one thing to consider with this is if new tests are added, they could have issues such as taking too long to run or miri not supporting them (e.g. hits asm), so ideally we'd wanna still catch those during PR instead of fixing after the fact on main -- 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]
