search

rust-lang / miri

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

tell people how to set miri flags #3683

Closed RalfJung closed 1 week ago

RalfJung commented 1 week ago

fixes https://github.com/rust-lang/miri/issues/3677

RalfJung commented 1 week ago

@bors r+

bors commented 1 week ago

:pushpin: Commit 984d91217d1ca4f5549eeecd5a34a015645a82d2 has been approved by RalfJung

It is now in the queue for this repository.

RalfJung commented 1 week ago

@bors r+

bors commented 1 week ago

:pushpin: Commit 79c5027199b0809e7006586726f66c4093a6489b has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 week ago

:hourglass: Testing commit 79c5027199b0809e7006586726f66c4093a6489b with merge 85e254942831707f0cac5b31d126c3aa6ac13f7f...

bors commented 1 week ago

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