alamb commented on issue #11548: URL: https://github.com/apache/arrow-rs/issues/11548#issuecomment-6169633617
> Instead of running it on each merge, perhaps run Miri only on a scheduled basis, e.g. weekly. I don't think Miri tests fail too often, and lots of changes we make are not going to impact them. To avoid burning compute, as well as make our merge queue faster, it might be better to schedule it. Yes I think this is an excellent idea The only thing we need to ensure is that someone actually looks at the MIRI results at least before a release Perhaps we can add it to the release checklist / trigger it manually? -- 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]
