You are viewing a plain text version of this content. The canonical link for it is here.
Posted to github@arrow.apache.org by "Jefffrey (via GitHub)" <gi...@apache.org> on 2026/08/07 12:28:35 UTC
[PR] chore: bump miri workflow partitions & include arrow-cmp [arrow-rs]
Jefffrey opened a new pull request, #10580:
URL: https://github.com/apache/arrow-rs/pull/10580
(no comment)
--
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: github-unsubscribe@arrow.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore: speed up miri workflow & include arrow-cmp [arrow-rs]
Posted by "Jefffrey (via GitHub)" <gi...@apache.org>.
Jefffrey commented on PR #10580:
URL: https://github.com/apache/arrow-rs/pull/10580#issuecomment-5229308681
thanks @alamb
--
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: github-unsubscribe@arrow.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore: speed up miri workflow & include arrow-cmp [arrow-rs]
Posted by "Jefffrey (via GitHub)" <gi...@apache.org>.
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: github-unsubscribe@arrow.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore: speed up miri workflow & include arrow-cmp [arrow-rs]
Posted by "alamb (via GitHub)" <gi...@apache.org>.
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: github-unsubscribe@arrow.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore: speed up miri workflow & include arrow-cmp [arrow-rs]
Posted by "Jefffrey (via GitHub)" <gi...@apache.org>.
Jefffrey merged PR #10580:
URL: https://github.com/apache/arrow-rs/pull/10580
--
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: github-unsubscribe@arrow.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore: speed up miri workflow & include arrow-cmp [arrow-rs]
Posted by "Jefffrey (via GitHub)" <gi...@apache.org>.
Jefffrey commented on PR #10580:
URL: https://github.com/apache/arrow-rs/pull/10580#issuecomment-5217449853
looks like 20 minutes now
--
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: github-unsubscribe@arrow.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org