search

rust-lang / miri

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

josh rustc-pull: check that no new root commits get created #3520

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

A second root was a bad sign in Miri (judging from the description in https://github.com/rust-lang/miri/pull/2583) and seems to be a bad sign in RA. So let's add this to the sanity checks.

RalfJung commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit 0132d4ce0d227c1bf13b58301be9d9cab5d8df8e has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit 0132d4ce0d227c1bf13b58301be9d9cab5d8df8e with merge f26bd28c4d0e96a3b855b7f544030ee593b3090a...

bors commented 5 months ago

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

bors commented 5 months ago

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