search

rust-lang / miri

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

Rustup #3481

Closed RalfJung closed 3 months ago

RalfJung commented 3 months ago

@bors r+

bors commented 3 months ago

:pushpin: Commit ec6cf3c431c74c8de576c31a55d91ae517898201 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 3 months ago

:hourglass: Testing commit ec6cf3c431c74c8de576c31a55d91ae517898201 with merge 81be7172a782acd4c735d1f88c02c2ad060cc41f...

bors commented 3 months ago

:broken_heart: Test failed - checks-actions

RalfJung commented 3 months ago

@bors r+

bors commented 3 months ago

:pushpin: Commit 1f6e83141f9fc556829b214f7206416c22cbd79b has been approved by RalfJung

It is now in the queue for this repository.

bors commented 3 months ago

:hourglass: Testing commit 1f6e83141f9fc556829b214f7206416c22cbd79b with merge da8c5dd5a38cd52cc8747c308a023106c2ba02d4...

bors commented 3 months ago

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