rust-lang / miri

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

Automatic Rustup #3713

Closed github-actions[bot] closed 5 days ago

RalfJung commented 6 days ago

Hello github, anyone there? It is not nice to ignore my emails...

@bors r+

bors commented 6 days ago

:pushpin: Commit daa6fc5625f2b0ae8c755da4194d730b1aa930e6 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 6 days ago

:hourglass: Testing commit daa6fc5625f2b0ae8c755da4194d730b1aa930e6 with merge 60cd15202161bc9f263b37c484fd82f898b53332...

bors commented 6 days ago

:broken_heart: Test failed - checks-actions

RalfJung commented 6 days ago

Damn...

 error: unexpected `cfg` condition name: `bootstrap`
  --> src/lib.rs:13:13
   |
13 | #![cfg_attr(bootstrap, feature(lint_reasons))]
   |             ^^^^^^^^^
RalfJung commented 5 days ago

@bors r+

bors commented 5 days ago

:pushpin: Commit fee0430f089f4ab78a8de9f530f942a0ff673e8f has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 days ago

:hourglass: Testing commit fee0430f089f4ab78a8de9f530f942a0ff673e8f with merge 3f392aa36197496427c6dd933a6a212ded627106...

bors commented 5 days ago

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