alamb commented on PR #10580: URL: https://github.com/apache/arrow-rs/pull/10580#issuecomment-5218483227
> looks like 20 minutes now It is 20 minutes but with 6 executors (so a total CPU time of 120 min / 2 hours) 🤔 <img width="976" height="272" alt="Screenshot 2026-08-07 at 10 42 05 AM" src="https://github.com/user-attachments/assets/33758caf-2020-4fc5-9752-fd8b651441bc"; /> However, that appears to me what the current main uses too (just in 4 parallel runs) <img width="711" height="222" alt="Screenshot 2026-08-07 at 10 43 11 AM" src="https://github.com/user-attachments/assets/8d215bd9-fcca-4e34-94a5-4571d5da9343"; /> Maybe we should consider reducing MIRI on PRs (and only run it on merge to 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]
