move ./miri environment variables to CONTRIBUTING

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.14k stars 318 forks source link

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

The README should discuss cargo miri, i.e. what users usually use, not the developer-only ./miri.

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit 38366c209b21732761e5ea802f6aa0729a230761 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 38366c209b21732761e5ea802f6aa0729a230761 with merge 46cdac08c62da34e5b607873be8cf0ae5f58341f...

bors commented 1 month ago

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