search

rust-lang / miri

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

even out CI runner times #3552

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit abe989a49eb31f836614a9e3eed55d5a9322f5aa has been approved by RalfJung

It is now in the queue for this repository.

RalfJung commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit f6ea1254999369c3df9d77477476ae3fbe6a2712 has been approved by RalfJung

It is now in the queue for this repository.

RalfJung commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit 7590c8b98c4ecdf6c6de2bc50630146bbf632570 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit 7590c8b98c4ecdf6c6de2bc50630146bbf632570 with merge a8f3116a48977efe086c815f17404df89c7d6f71...

bors commented 5 months ago

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