rust-playground ANSI escape codes in Miri output

ANSI escape codes in Miri output

Open kangalio opened this issue 3 years ago • 6 comments

Screenshot

Started happening only recently. Since a day ago or so?

Jun 27 '22 11:06 kangalio

Caused by https://github.com/rust-lang/miri/issues/2277

Jun 28 '22 07:06 kangalio

Fixed by https://github.com/rust-lang/miri/pull/2283

Jun 29 '22 15:06 RalfJung

See also #645

Apr 25 '24 18:04 epage

I think this issue here has long been fixed. Also the screenshot from the OP doesn't exist any more so we can't even try to reproduce it.

@shepmaster can you close this?

Apr 25 '24 21:04 RalfJung

If the fix is "don't show them", then yes, that PR resolved it. If its "show colored output", then it seeems #645 would be the issue to track that.

Apr 25 '24 21:04 epage

This issue is about a Miri specific issue. That one got fixed.

Apr 26 '24 06:04 RalfJung