search

rust-lang / miri

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

document unofficially supported OSes #3554

Closed RalfJung closed 2 months ago

RalfJung commented 2 months ago

Also tweak the freeBSD testing a bit.

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit 0bcddeb2a1029e0a6fa6f0ef2f59e9b1dc53f726 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 6bed064e80df9e5f8256daa4578c62b66150b9ba with merge ...

RalfJung commented 2 months ago

@bors retry r+

bors commented 2 months ago

:pushpin: Commit 49ef0f7aa82bcddfc01cbf05613c2febae7c9366 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 49ef0f7aa82bcddfc01cbf05613c2febae7c9366 with merge f88561259ba2cc0a5ed8a7c0d0d18a9d532341a1...

RalfJung commented 2 months ago

@bors retry r+

bors commented 2 months ago

:pushpin: Commit e6a8971019697d4d3b8be152a739f907aad008c1 has been approved by RalfJung

It is now in the queue for this repository.

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit 0e0226e88f4634ef499ab26973a9022e7f7a620c has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 0e0226e88f4634ef499ab26973a9022e7f7a620c with merge 2f15dea169c911a20b4c3fc688245493a75ccd8f...

bors commented 2 months ago

:broken_heart: Test failed - checks-actions

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit 67bca02d6a63c4ed023b1e34b2a9892c32486ea3 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 67bca02d6a63c4ed023b1e34b2a9892c32486ea3 with merge 0516cd879086a70436cf3bca8824e13c61e9c926...

bors commented 2 months ago

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

bors commented 2 months ago

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