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/04/26 13:01:20 UTC

[GitHub] [arrow-rs] alamb opened a new issue #224: Get MIRI running again

alamb opened a new issue #224:
URL: https://github.com/apache/arrow-rs/issues/224


   *Note*: migrated from original JIRA: https://issues.apache.org/jira/browse/ARROW-11713
   
   Rust's MIRI https://github.com/rust-lang/miri can help detect logical errors in programs
   
   The Rust arrow implementation now runs the MIRI checks as part of CI thanks to [~vertexclique] but it does not pass cleanly yet
   
   For example:
   https://github.com/apache/arrow/pull/9535/checks?check_run_id=1941313240
   
   {code}
   
      Compiling criterion v0.3.4
      Compiling h2 v0.3.0
      Compiling tower v0.4.5
      Compiling hyper v0.14.4
   error[E0463]: can't find crate for `tracing`
     --> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/hyper-0.14.4/src/lib.rs:68:1
      |
   68 | extern crate tracing;
      | ^^^^^^^^^^^^^^^^^^^^^ can't find crate
   
   error: aborting due to previous error
   {code}
   
   Previously MIRI ran but the check failed in FFI somewhere
   
   Help wanted!


-- 
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 closed issue #224: Get MIRI running again

Posted by GitBox <gi...@apache.org>.
alamb closed issue #224:
URL: https://github.com/apache/arrow-rs/issues/224


   


-- 
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 issue #224: Get MIRI running again

Posted by GitBox <gi...@apache.org>.
alamb commented on issue #224:
URL: https://github.com/apache/arrow-rs/issues/224#issuecomment-839947466


   MIRI is compiling again - see https://github.com/apache/arrow-rs/runs/2552518448?check_suite_focus=true so closing this issue
   
   However, it still reports errors -- which is tracked by #227 


-- 
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