AdamGS opened a new pull request, #9629:
URL: https://github.com/apache/arrow-rs/pull/9629

   # Which issue does this PR close?
   
   - Closes #NNN.
   
   # Rationale for this change
   
   Miri in CI is VERY slow, but the github runners actually have 4 vCPUs and 
some memory, so using nextest can give us some speedup.
   
   # What changes are included in this PR?
   
   Install nextest in CI and then use it to run Miri
   
   # Are these changes tested?
   
   tested the script locally
   
   # Are there any user-facing changes?
   
   No
   


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

Reply via email to