search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.13k stars 318 forks source link

nicer batch file error when building miri-script fails #3703

Closed RossSmyth closed 5 days ago

RossSmyth commented 6 days ago

https://github.com/rust-lang/miri/pull/3700#issuecomment-2184026431

RalfJung commented 5 days ago

Thanks :) @bors r+

bors commented 5 days ago

:pushpin: Commit b74ba4317fae0e9c8c71b1f5ce98bfa127a6fb9b has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 days ago

:hourglass: Testing commit b74ba4317fae0e9c8c71b1f5ce98bfa127a6fb9b with merge c7ea8f8e1573207b50675f7f1ec7e40fba45f27a...

bors commented 5 days ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing c7ea8f8e1573207b50675f7f1ec7e40fba45f27a to master...