alamb commented on pull request #9261: URL: https://github.com/apache/arrow/pull/9261#issuecomment-764617123
@vertexclique merging the checks makes sense -- however, i think we need to figure out how to avoid github signaling a failure (red x) so that we can get clean CI runs <img width="956" alt="Screen Shot 2021-01-21 at 7 40 31 AM" src="https://user-images.githubusercontent.com/490673/105352478-f1486e80-5bbb-11eb-9e96-734f03864da3.png";> Is there some way to instruct Miri to ignore failures or a known failure list? ---------------------------------------------------------------- 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: [email protected]
![https://user-images.githubusercontent.com/490673/105352478-f1486e80-5bbb-11eb-9e96-734f03864da3.png"](https://user-images.githubusercontent.com/490673/105352478-f1486e80-5bbb-11eb-9e96-734f03864da3.png"){kind=link}