You are viewing a plain text version of this content. The canonical link for it is here.
Posted to github@arrow.apache.org by GitBox <gi...@apache.org> on 2021/06/07 15:28:41 UTC
[GitHub] [arrow-rs] alamb opened a new pull request #421: Reenable MIRI check on PRs
alamb opened a new pull request #421:
URL: https://github.com/apache/arrow-rs/pull/421
# Which issue does this PR close?
Fixes: https://github.com/apache/arrow-rs/issues/345
Based on https://github.com/apache/arrow-rs/pull/416, so draft until that is done
# Rationale:
We disabled this check in https://github.com/apache/arrow-rs/pull/360 as it was failing intermittently. However, @roee88 diagnosed the problem with a few tests that consumed a lot of memory, and @jhorstmann has been fixing some other MIR related issues in https://github.com/apache/arrow-rs/pull/416
# Changes:
1. Reenable MIRI tests
2. Put them in their own github actions workflow (so that if they fail we don't have to rerun the entire workflow again)
--
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [arrow-rs] alamb commented on pull request #421: Reenable MIRI check on PRs
Posted by GitBox <gi...@apache.org>.
alamb commented on pull request #421:
URL: https://github.com/apache/arrow-rs/pull/421#issuecomment-856092796
Successful run 1: https://github.com/apache/arrow-rs/pull/421/checks?check_run_id=2765560493
--
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [arrow-rs] alamb commented on pull request #421: Reenable MIRI check on PRs
Posted by GitBox <gi...@apache.org>.
alamb commented on pull request #421:
URL: https://github.com/apache/arrow-rs/pull/421#issuecomment-857187992
third success: https://github.com/apache/arrow-rs/pull/421/checks?check_run_id=2777893632
--
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [arrow-rs] alamb merged pull request #421: Reenable MIRI check on PRs
Posted by GitBox <gi...@apache.org>.
alamb merged pull request #421:
URL: https://github.com/apache/arrow-rs/pull/421
--
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [arrow-rs] alamb commented on pull request #421: Reenable MIRI check on PRs
Posted by GitBox <gi...@apache.org>.
alamb commented on pull request #421:
URL: https://github.com/apache/arrow-rs/pull/421#issuecomment-857128952
Second successful run: https://github.com/apache/arrow-rs/pull/421/checks?check_run_id=2766161179
--
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [arrow-rs] alamb commented on pull request #421: Reenable MIRI check on PRs
Posted by GitBox <gi...@apache.org>.
alamb commented on pull request #421:
URL: https://github.com/apache/arrow-rs/pull/421#issuecomment-857933162
Fourth success: https://github.com/apache/arrow-rs/pull/421/checks?check_run_id=2778308761
I am merging this one in :)
--
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org