Skip to content

Commit

Permalink
Auto merge of #112244 - RalfJung:miri, r=oli-obk
Browse files Browse the repository at this point in the history
update Miri

Also adjust Miri's compiletest a little: in pre-subtree days we added `-A unused -Astable-features` to have the Miri toolstate break less often. But nowadays it just causes confusion when Miri CI works in rustc but fails on the Miri side so let's get rid of this difference.

r? `@oli-obk`
  • Loading branch information
bors committed Jun 3, 2023
2 parents 4d4db1a + c45aa07 commit a43616f
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit a43616f

Please sign in to comment.