search

rust-lang / miri

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

Fix stage in contributing #3654

Closed Nilstrieb closed 3 weeks ago

Nilstrieb commented 3 weeks ago

0 errors now because they were moved by 1.

RalfJung commented 3 weeks ago

Stage 1 is the default for "test" so there it can be removed entirely.

Nilstrieb commented 3 weeks ago

makes sense

RalfJung commented 3 weeks ago

Thanks! @bors r+

bors commented 3 weeks ago

:pushpin: Commit c6093009818625d25070793acf15665757d40ce9 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 3 weeks ago

:hourglass: Testing commit c6093009818625d25070793acf15665757d40ce9 with merge b3ed85b54b3250119f1bea535481d6988996044d...

bors commented 3 weeks ago

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