alamb commented on issue #11456: URL: https://github.com/apache/arrow-rs/issues/11456#issuecomment-6081165092
> The longest-running Miri shard in each merge-queue run took about 24 minutes at the median. Waiting can also dominate: [one recent PR run](https://github.com/apache/arrow-rs/actions/runs/37790159316) took about 80 minutes overall, while its longest job executed for 19 minutes. RunsOn could help with both runner availability and execution time. I think we should reasses the value of running Miri on all the checkins -- I think it would be fine to only run it on meregs to main, even if that means we have to back out a PR from time to 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]
