alamb commented on PR #10803: URL: https://github.com/apache/arrow-rs/pull/10803#issuecomment-5451633271
I think it sounds good to me One thing I would like to request though is to audit all the MIRI tests (perhaps someone can post the timinings of the tests from nextest) and see if there are any particularly long ones we can remove (I bet there are some fuzz / etc type tests that MIRI doesn't add much value and that take a long time) -- 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]
